Symmetry in Computational Complexity

Weisfeiler-Leman Invariant Promise Valued CSPs

Autoren: Barto, Libor; Butti, Silvia
Veröffentlicht in: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), 2022, Seite(n) 4:1--4:17, ISBN 978-3-95977-240-2
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.cp.2022.4

The complete classification for quantified equality constraints

Autoren: Dmitriy Zhuk, Barnaby Martin, Michal Wrona
Veröffentlicht in: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Ausgabe 1, 2023, Seite(n) 2746-2760, ISBN 978-1-61197-755-4
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977554.ch103

Hrushovski’s Encoding and ω-Categorical CSP Monsters

Autoren: Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
Veröffentlicht in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Ausgabe 1/year, 2020, Seite(n) 131:1--131:17, ISBN 978-3-95977-138-2
Herausgeber: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.icalp.2020.131

Minimal taylor algebras as a common framework for the three algebraic approaches to the CSP

Autoren: Libor Barto; Zarathustra Brady; Andrei A. Bulatov; Marcin Kozik; Dmitriy Zhuk
Veröffentlicht in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Seite(n) 1-13
Herausgeber: IEEE Computer Society
DOI: 10.1109/lics52264.2021.9470557

Combinatorial Gap Theorem and Reductions between Promise CSPs

Autoren: Barto, Libor; Kozik, Marcin
Veröffentlicht in: Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2022, Seite(n) 1204-1220, ISBN 978-1-61197-707-3
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977073.50

Symmetric Promise Constraint Satisfaction Problems: Beyond the Boolean Case

Autoren: Barto, Libor; Battistelli, Diego; Berg, Kevin M.
Veröffentlicht in: 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021), 2021, Seite(n) 10:1--10:16, ISBN 978-3-95977-180-1
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.stacs.2021.10

Fixed-Template Promise Model Checking Problems

Autoren: Asimi, Kristina; Barto, Libor; Butti, Silvia
Veröffentlicht in: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), 2022, Seite(n) 2:1--2:17, ISBN 978-3-95977-240-2
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.cp.2022.2

Sensitive instances of the Constraint Satisfaction Problem

Autoren: Barto, Libor; Kozik, Marcin; Tan, Johnson; Valeriote, Matt
Veröffentlicht in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Ausgabe 1/year, 2020, Seite(n) 110:1--110:18, ISBN 978-3-95977-138-2
Herausgeber: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.icalp.2020.110

Finitely Tractable Promise Constraint Satisfaction Problems

Autoren: Asimi, Kristina; Barto, Libor
Veröffentlicht in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), 2021, Seite(n) 11:1--11:16, ISBN 978-3-95977-201-3
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.mfcs.2021.11

Smooth Approximations and Relational Width Collapses

Autoren: Mottet, Antoine; Nagy, Tomáš; Pinsker, Michael; Wrona, Michał
Veröffentlicht in: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 2021, Seite(n) 138:1--138:20, ISBN 978-3-95977-195-5
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.icalp.2021.138

Promises Make Finite (Constraint Satisfaction) Problems Infinitary

Autoren: Libor Barto
Veröffentlicht in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Seite(n) 1-8, ISBN 978-1-7281-3608-0
Herausgeber: IEEE
DOI: 10.1109/lics.2019.8785671

Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)

Autoren: Manuel Bodirsky, Antoine Mottet, Miroslav Olsak, Jakub Oprsal, Michael Pinsker, Ross Willard
Veröffentlicht in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Seite(n) 1-12, ISBN 978-1-7281-3608-0
Herausgeber: IEEE
DOI: 10.1109/lics.2019.8785883

enNew Techniques for Universality in Unambiguous Register Automata

Autoren: Czerwiński, Wojciech; Mottet, Antoine; Quaas, Karin
Veröffentlicht in: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 2021, Seite(n) 129:1--129:16, ISBN 978-3-95977-195-5
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.icalp.2021.129

QCSP monsters and the demise of the chen conjecture

Autoren: Dmitriy Zhuk, Barnaby Martin
Veröffentlicht in: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, Ausgabe 1/year, 2020, Seite(n) 91-104, ISBN 9781450369794
Herausgeber: ACM
DOI: 10.1145/3357713.3384232

Smooth approximations and CSPs over finitely bounded homogeneous structures

Autoren: Mottet, Antoine; Pinsker, Michael
Veröffentlicht in: LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, Seite(n) 1-13, ISBN 978-1-4503-9351-5
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3531130.3533353

Constraint satisfaction problems over finite structures

Autoren: Libor Barto; William DeMeo; Antoine Mottet
Veröffentlicht in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Seite(n) 1-13
Herausgeber: IEEE Computer Society
DOI: 10.1109/lics52264.2021.9470670

QCSP monsters and the demise of the chen conjecture

Autoren: Dmitriy Zhuk; Barnaby Martin
Veröffentlicht in: Journal of the ACM, Ausgabe 69/5, 2022, Seite(n) 1-44, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3563820

When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems

Autoren: Pierre Gillibert; Julius Jonušas; Michael Kompatscher; Antoine Mottet; Michael Pinsker
Veröffentlicht in: SIAM Journal on Computing, Ausgabe 00975397, 2022, Seite(n) 175-213, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/20m1383471

$\omega $-categorical structures avoiding height 1 identities

Autoren: Manuel Bodirsky, Antoine Mottet, Miroslav Olšák, Jakub Opršal, Michael Pinsker, Ross Willard
Veröffentlicht in: Transactions of the American Mathematical Society, Ausgabe 374/1, 2021, Seite(n) 327-350, ISSN 0002-9947
Herausgeber: American Mathematical Society
DOI: 10.1090/tran/8179

A Proof of the CSP Dichotomy Conjecture

Autoren: Dmitriy Zhuk
Veröffentlicht in: Journal of the ACM, Ausgabe 67/5, 2020, Seite(n) 1-78, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3402029

A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP

Autoren: Manuel Bodirsky; Florent Madelaine; Antoine Mottet
Veröffentlicht in: SIAM Journal on Computing, Ausgabe 00975397, 2021, Seite(n) 1359-1409, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/19m128466x

CORES OVER RAMSEY STRUCTURES

Autoren: Antoine Mottet; Michael Pinsker
Veröffentlicht in: The Journal of Symbolic Logic, Ausgabe 00224812, 2021, Seite(n) 352–361, ISSN 0022-4812
Herausgeber: Association for Symbolic Logic
DOI: 10.1017/jsl.2021.6

Algebraic Approach to Promise Constraint Satisfaction

Autoren: Barto, Libor; Bulín, Jakub; Krokhin, Andrei; Opršal, Jakub
Veröffentlicht in: J. ACM, Ausgabe 00045411, 2021, Seite(n) 1-66, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3457606

Higher Kiss terms

Autoren: Moorhead, Andrew
Veröffentlicht in: International Journal of Algebra and Computation, Ausgabe 02181967, 2022, Seite(n) 1233-1259, ISSN 0218-1967
Herausgeber: World Scientific Publishing Co
DOI: 10.1142/s0218196722500539

The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata

Autoren: Antoine Mottet, Karin Quaas
Veröffentlicht in: Theory of Computing Systems, 2020, ISSN 1432-4350
Herausgeber: Springer Verlag
DOI: 10.1007/s00224-020-09997-2

Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)

Autoren: Libor Barto, Michael Pinsker
Veröffentlicht in: SIAM Journal on Computing, Ausgabe 49/2, 2020, Seite(n) 365-393, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/18m1216213

Accessible set functors are universal

Autoren: Barto Libor
Veröffentlicht in: Commentationes Mathematicae Universitatis Carolinae, Ausgabe 60/4, 2020, Seite(n) 497-508, ISSN 0010-2628
Herausgeber: Mathematical Institute of Charles University
DOI: 10.14712/1213-7243.2019.028

Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps

Autoren: Libor Barto
Veröffentlicht in: Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings, Ausgabe 11651, 2019, Seite(n) 3-17, ISBN 978-3-030-25026-3
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-25027-0_1

The Containment Problem for Unambiguous Register Automata

Autoren: Mottet, Antoine; Quaas, Karin
Veröffentlicht in: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), 2019, Seite(n) 53:1--53:15, ISBN 978-3-95977-100-9
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.stacs.2019.53

Veröffentlichungen

Diese Seite teilen

Herunterladen