Polynomial-time Computation: Opening the Blackboxes in Constraint Problems

Informations projet

POCOCOP

N° de convention de subvention: 101071674

DOI

10.3030/101071674

Date de signature de la CE 19 Janvier 2023

Date de début 1 Mars 2023

Date de fin 28 Février 2029

Financé au titre de

• European Research Council (ERC)

Coût total

€ 7 932 935,00

Contribution de l’UE

€ 7 932 935,00

Coordonné par

TECHNISCHE UNIVERSITAET DRESDEN
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (15)

Forbidden Tournaments and the Orientation Completion Problem

Auteurs: Manuel Bodirsky, Santiago Guzmán-Pro
Publié dans: SIAM Journal on Discrete Mathematics, Numéro 39, 2025, ISSN 0895-4801
Éditeur: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/23M1604849

Big Ramsey degrees and infinite languages

Auteurs: Samuel Braunfeld, David Chodounský, Noé de Rancourt, Jan Hubička, Jamal Kawach, Matěj Konečný
Publié dans: Advances in Combinatorics, 2024, ISSN 2517-5599
Éditeur: Alliance of Diamond Open Access Journals
DOI: 10.19086/aic.2024.4

Algebra Universalis

Auteurs: Barto, Libor; Kapytka, Maryia
Publié dans: Algebra universalis, Numéro 86, 2024, ISSN 0002-5240
Éditeur: Birkhauser Verlag
DOI: 10.48550/ARXIV.2407.16513

Submaximal clones over a three-element set up to minor-equivalence

Auteurs: Albert Vucaj, Dmitriy Zhuk
Publié dans: Algebra universalis, Numéro 85, 2024, ISSN 0002-5240
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/s00012-024-00852-w

Generalisations of matrix partitions: Complexity and obstructions

Auteurs: Alexey Barsukov, Mamadou Moustapha Kanté
Publié dans: Theoretical Computer Science, Numéro 1007, 2024, ISSN 0304-3975
Éditeur: Elsevier BV
DOI: 10.1016/j.tcs.2024.114652

SIAM Journal on Computing

Auteurs: Antoine Mottet; Tomáš Nagy; Michael Pinsker; Michał Wrona
Publié dans: SIAM Journal on Computing, Numéro 53/6, 2024, ISSN 0097-5397
Éditeur: SIAM
DOI: 10.1137/22M1538934

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory

Auteurs: Manuel Bodirsky, Bertalan Bodor
Publié dans: ACM Transactions on Computation Theory, Numéro 16, 2024, ISSN 1942-3454
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3649445

ON THE ZARISKI TOPOLOGY ON ENDOMORPHISM MONOIDS OF OMEGA-CATEGORICAL STRUCTURES

Auteurs: MICHAEL PINSKER, CLEMENS SCHINDLER
Publié dans: The Journal of Symbolic Logic, 2024, ISSN 0022-4812
Éditeur: Cambridge University Press (CUP)
DOI: 10.1017/jsl.2023.81

Smooth approximations: An algebraic approach to CSPs over finitely bounded homogeneous structures

Auteurs: Antoine Mottet, Michael Pinsker
Publié dans: Journal of the ACM, Numéro 71, 2024, ISSN 0004-5411
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3689207

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras

Auteurs: Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk
Publié dans: TheoretiCS, Numéro Volume 3, 2024, ISSN 2751-4838
Éditeur: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/theoretics.24.14

Polish topologies on endomorphism monoids of relational structures

Auteurs: L. Elliott, J. Jonušas, J.D. Mitchell, Y. Péresse, M. Pinsker
Publié dans: Advances in Mathematics, Numéro 431, 2023, ISSN 0001-8708
Éditeur: Elsevier BV
DOI: 10.1016/j.aim.2023.109214

SIAM Journal on Discrete Mathematics

Auteurs: Manuel Bodirsky; Santiago Guzmán-Pro
Publié dans: SIAM Journal on Discrete Mathematics, Numéro 39/1, 2025, ISSN 0895-4801
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.48550/ARXIV.2309.08327

Archive for Mathematical Logic

Auteurs: Marimon, Paolo
Publié dans: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Éditeur: Springer
DOI: 10.1007/S00153-024-00943-4

Complexity Classification Transfer for CSPs via Algebraic Products

Auteurs: Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Žaneta Semanišinová
Publié dans: SIAM Journal on Computing, Numéro 53, 2024, ISSN 0097-5397
Éditeur: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/22M1534304

Finite algebras with Hom-sets of polynomial size

Auteurs: Libor Barto, Antoine Mottet
Publié dans: Transactions of the American Mathematical Society, 2024, ISSN 0002-9947
Éditeur: American Mathematical Society (AMS)
DOI: 10.1090/TRAN/9262

Conference proceedings (8)

The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems

Auteurs: Manuel Bodirsky, Žaneta Semanišinová, Carsten Lutz
Publié dans: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Numéro 27, 2024
Éditeur: ACM
DOI: 10.1145/3661814.3662071

An Order out of Nowhere: A New Algorithm for Infinite-Domain CSPs

Auteurs: Antoine Mottet, Tomáš Nagy, Michael Pinsker
Publié dans: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.48550/ARXIV.2301.12977

Network Satisfaction Problems Solved by k-Consistency

Auteurs: Manuel Bodirsky, Simon Knäuer
Publié dans: 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), 2023, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.ICALP.2023.116

Algebraic Approach to Approximation

Auteurs: Libor Barto; Silvia Butti; Alexandr Kazda; Caterina Viola; Stanislav Živný
Publié dans: LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, ISBN 9798400706608
Éditeur: Association for Computing Machinery
DOI: 10.48550/ARXIV.2401.15186

An Order out of Nowhere: A New Algorithm for Infinite-Domain CSPs

Auteurs: Antoine Mottet, Tom Nagy, Michael Pinsker
Publié dans: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024
Éditeur: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.4230/LIPIcs.ICALP.2024.148

Circuit Equivalence in 2-Nilpotent Algebras

Auteurs: Piotr Kawałek, Michael Kompatscher, Jacek Krzaczkowski
Publié dans: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2024, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.STACS.2024.45

$\prod_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem

Auteurs: Dmitriy Zhuk
Publié dans: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024
Éditeur: IEEE
DOI: 10.1109/FOCS61266.2024.00043

Identifying Tractable Quantified Temporal Constraints Within Ord-Horn

Auteurs: Jakub Rydval, Žaneta Semanišinová, Michał Wrona
Publié dans: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.ICALP.2024.151

Book chapters (2)

Resolving Sets in Temporal Graphs

Auteurs: Jan Bok, Antoine Dailly, Tuomo Lehtilä
Publié dans: Lecture Notes in Computer Science, Combinatorial Algorithms, 2024, ISBN 978-3-031-63020-0
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63021-7_22

A topological proof of the Hell-Nešetřil dichotomy

Auteurs: Sebastian Meyer, Jakub Opršal
Publié dans: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2025
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611978322.154