( en | de | ru )

 

Disambiguation of "Carvalho, Catarina"

Author of the publication

copydeleteadd this publication to your clipboard
The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation.

, , , and . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Catarina Schock

Catarina Klimpel

Catarina Schwerin

Catarina Grib

Catarina Schmidt

 

Other publications of authors with the same name

On Maltsev Digraphs., , , and . Electron. J. Comb., 22 (1): 1 (2015)CSP duality and trees of bounded pathwidth., , and . Theor. Comput. Sci., 411 (34-36): 3188-3208 (2010)Caterpillar Duality for Constraint Satisfaction Problems., , and . LICS, page 307-316. IEEE Computer Society, (2008)The lattice and semigroup structure of multipermutations., and . Int. J. Algebra Comput., 32 (2): 211-235 (2022)Two new homomorphism dualities and lattice operations., , and . J. Log. Comput., 21 (6): 1065-1092 (2011)The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation., , , and . ACM Trans. Comput. Log., 24 (1): 5:1-5:26 (January 2023)On algebras with many symmetric operations., and . Int. J. Algebra Comput., 26 (5): 1019-1031 (2016)The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation., , , and . CoRR, (2021)On Maltsev Digraphs., , , and . CSR, volume 6651 of Lecture Notes in Computer Science, page 181-194. Springer, (2011)Carotid Ultrasound Boundary Study (CUBS): Technical considerations on an open multi-center analysis of computerized measurement systems for intima-media thickness measurement on common carotid artery longitudinal B-mode ultrasound scans., , , , , , , , , and 18 other author(s). Comput. Biol. Medicine, (2022)