The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation.

Catarina Carvalho http://caul.cii.fc.ul.pt/member.php?member_id=46&locale=en

Catarina Carvalho Florent R. Madelaine Barnaby Martin Dmitriy Zhuk The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation. 5:1-5:26 2023 January 24 ACM Trans. Comput. Log. 1 https://doi.org/10.1145/3568397 https://www.wikidata.org/entity/Q130844069 db/journals/tocl/tocl24.html#CarvalhoMMZ23

Kristen M. Meiburger Francesco Marzola Guillaume Zahnd Francesco Faita Christos P. Loizou Nolann Lainé Catarina Carvalho David A. Steinman Lorenzo Gibello Rosa Maria Bruno Ricarda Clarenbach Martina Francesconi Andrew Nicolaides Hervé Liebgott Aurélio Campilho Reza Ghotbi Efthyvoulos Kyriacou Nassir Navab Maura Griffin Andrie G. Panayiotou Rachele Gherardini Gianfranco Varetto Elisabetta Bianchini Constantinos S. Pattichis Lorenzo Ghiadoni José Rouco Maciej Orkisz Filippo Molinari 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. 105333 2022 144 Comput. Biol. Medicine https://doi.org/10.1016/j.compbiomed.2022.105333 db/journals/cbm/cbm144.html#MeiburgerMZFLLC22

Catarina Carvalho Barnaby Martin The lattice and semigroup structure of multipermutations. 211-235 2022 32 Int. J. Algebra Comput. 2 https://doi.org/10.1142/S0218196722500096 db/journals/ijac/ijac32.html#CarvalhoM22

Catarina Carvalho Florent R. Madelaine Barnaby Martin Dmitriy Zhuk The complexity of quantified constraints: collapsibility, switchability and the algebraic formulation. 2021 abs/2106.13154 CoRR https://arxiv.org/abs/2106.13154 db/journals/corr/corr2106.html#abs-2106-13154

Catarina Carvalho Barnaby Martin Dmitriy Zhuk The Complexity of Quantified Constraints Using the Algebraic Formulation. 27:1-27:14 2017 MFCS https://doi.org/10.4230/LIPIcs.MFCS.2017.27 conf/mfcs/2017 db/conf/mfcs/mfcs2017.html#CarvalhoMZ17

Catarina Carvalho Barnaby Martin Dmitriy Zhuk The complexity of quantified constraints. 2017 abs/1701.04086 CoRR http://arxiv.org/abs/1701.04086 db/journals/corr/corr1701.html#CarvalhoMZ17

Catarina Carvalho Andrei A. Krokhin On algebras with many symmetric operations. 1019-1031 2016 26 Int. J. Algebra Comput. 5 https://doi.org/10.1142/S0218196716500429 db/journals/ijac/ijac26.html#CarvalhoK16

Catarina Carvalho László Egri Marcel Jackson Todd Niven On Maltsev Digraphs. 1 2015 22 Electron. J. Comb. 1 https://doi.org/10.37236/4419 db/journals/combinatorics/combinatorics22.html#CarvalhoEJN15

Catarina Carvalho Florent R. Madelaine Barnaby Martin From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP. 462-474 2015 LICS https://doi.org/10.1109/LICS.2015.50 https://doi.ieeecomputersociety.org/10.1109/LICS.2015.50 http://dl.acm.org/citation.cfm?id=2876556 conf/lics/2015 db/conf/lics/lics2015.html#CarvalhoMM15

Catarina Carvalho Florent R. Madelaine Barnaby Martin From complexity to algebra and back: digraph classes, collapsibility and the PGP. 2015 abs/1501.04558 CoRR http://arxiv.org/abs/1501.04558 db/journals/corr/corr1501.html#CarvalhoMM15

Catarina Carvalho Víctor Dalmau Andrei A. Krokhin Two new homomorphism dualities and lattice operations. 1065-1092 2011 21 J. Log. Comput. 6 https://doi.org/10.1093/logcom/exq030 db/journals/logcom/logcom21.html#CarvalhoDK11

Catarina Carvalho László Egri Marcel Jackson Todd Niven On Maltsev Digraphs. 181-194 2011 CSR https://doi.org/10.1007/978-3-642-20712-9_14 conf/csr/2011 db/conf/csr/csr2011.html#CarvalhoEJN11

Catarina Carvalho Víctor Dalmau Andrei A. Krokhin CSP duality and trees of bounded pathwidth. 3188-3208 2010 411 Theor. Comput. Sci. 34-36 https://doi.org/10.1016/j.tcs.2010.05.016 db/journals/tcs/tcs411.html#CarvalhoDK10

Catarina Carvalho Víctor Dalmau Andrei A. Krokhin Caterpillar Duality for Constraint Satisfaction Problems. 307-316 2008 LICS https://doi.org/10.1109/LICS.2008.19 https://doi.ieeecomputersociety.org/10.1109/LICS.2008.19 conf/lics/2008 db/conf/lics/lics2008.html#CarvalhoDK08

Catarina Carvalho Víctor Dalmau Petar Markovic Miklós Maróti CD(4) has bounded width http://arxiv.org/abs/0709.1934 2007 CoRR abs/0709.1934 db/journals/corr/corr0709.html#abs-0709-1934

Elisabetta Bianchini Rosa Maria Bruno Aurélio J. C. CampilhoAurélio Campilho Ricarda Clarenbach Víctor Dalmau László Egri Francesco Faita Martina Francesconi Rachele Gherardini Lorenzo Ghiadoni Reza Ghotbi Lorenzo Gibello Maura Griffin Marcel Jackson Andrei A. Krokhin Efthyvoulos C. KyriacouEfthyvoulos Kyriacou Nolann Lainé Hervé Liebgott Christos P. Loizou Florent R. Madelaine Petar Markovic Miklós Maróti Barnaby Martin Francesco Marzola Kristen M. Meiburger Filippo Molinari Nassir Navab Andrew Nicolaides Todd Niven Maciej Orkisz Andrie G. Panayiotou Constantinos S. Pattichis José Rouco David A. Steinman Gianfranco Varetto Guillaume Zahnd Dmitriy Zhuk