Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones

Project Information

CSP-Infinity

Grant agreement ID: 681988

DOI 10.3030/681988

Project closed

EC signature date 27 April 2016

Start date 1 October 2016

End date 30 September 2021

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost € 1 416 250,00

EU contribution € 1 416 250,00

Coordinated by

TECHNISCHE UNIVERSITAET DRESDEN
Germany

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (33)

$$\aleph _0$$-categoricity of semigroups II

Author(s): Thomas Quinn-Gregson
Published in: Semigroup Forum, 2020, ISSN 0037-1912
Publisher: Springer Verlag
DOI: 10.1007/s00233-020-10151-0

Taylor’s Modularity Conjecture and Related Problems for Idempotent Varieties

Author(s): Jakub Opršal
Published in: Order, Issue 35/3, 2018, Page(s) 433-460, ISSN 0167-8094
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s11083-017-9441-4

$\omega $-categorical structures avoiding height 1 identities

Author(s): Manuel Bodirsky, Antoine Mottet, Miroslav Olšák, Jakub Opršal, Michael Pinsker, Ross Willard
Published in: Transactions of the American Mathematical Society, Issue 374/1, 2021, Page(s) 327-350, ISSN 0002-9947
Publisher: American Mathematical Society
DOI: 10.1090/tran/8179

A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP

Author(s): Manuel Bodirsky, Florent Madelaine, Antoine Mottet
Published in: SIAM Journal on Computing, Issue 50/4, 2021, Page(s) 1359-1409, ISSN 0097-5397
Publisher: Society for Industrial and Applied Mathematics
DOI: 10.1137/19m128466x

Algebraic Approach to Promise Constraint Satisfaction

Author(s): Libor Barto, Jakub Bulín, Andrei Krokhin, Jakub Opršal
Published in: Journal of the ACM, Issue 68/4, 2021, Page(s) 1-66, ISSN 0004-5411
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3457606

Homomorphism-homogeneity classes of countable L-colored graphs

Author(s): Andrés Aranda, David Hartman
Published in: Acta Mathematica Universitatis Comenianae, Issue Vol 88 No 3 (2019): AMUC, 2019, Page(s) 377-382, ISSN 0862-9544
Publisher: Comenius University Press

Deciding the Existence of Minority Terms

Author(s): Alexandr Kazda, Jakub Opršal, Matt Valeriote, Dmitriy Zhuk
Published in: Canadian Mathematical Bulletin, Issue 63/3, 2020, Page(s) 577-591, ISSN 0008-4395
Publisher: Canadian Mathematical Society
DOI: 10.4153/s0008439519000651

PROJECTIVE CLONE HOMOMORPHISMS

Author(s): MANUEL BODIRSKY, MICHAEL PINSKER, ANDRÁS PONGRÁCZ
Published in: The Journal of Symbolic Logic, 2019, Page(s) 1-13, ISSN 0022-4812
Publisher: Association for Symbolic Logic
DOI: 10.1017/jsl.2019.23

The independence number of HH-homogeneous graphs and a classification of MB-homogeneous graphs

Author(s): Andrés Aranda, David Hartman
Published in: European Journal of Combinatorics, Issue 85, 2020, Page(s) 103063, ISSN 0195-6698
Publisher: Academic Press
DOI: 10.1016/j.ejc.2019.103063

Smooth digraphs modulo primitive positive constructability and cyclic loop conditions

Author(s): Manuel Bodirsky, Florian Starke, Albert Vucaj
Published in: International Journal of Algebra and Computation, Issue 31/05, 2021, Page(s) 929-967, ISSN 0218-1967
Publisher: World Scientific Publishing Co
DOI: 10.1142/s0218196721500442

The Complexity of Phylogeny Constraint Satisfaction Problems

Author(s): Manuel Bodirsky, Peter Jonsson, Trung Van Pham
Published in: ACM Transactions on Computational Logic, Issue 18/3, 2017, Page(s) 1-42, ISSN 1529-3785
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3105907

HOMOGENEOUS COMPLETELY SIMPLE SEMIGROUPS

Author(s): Thomas Quinn‐Gregson
Published in: Mathematika, Issue 66/3, 2020, Page(s) 733-751, ISSN 0025-5793
Publisher: University College London, Department of Mathematics
DOI: 10.1112/mtk.12035

A Model-Theoretic View on Qualitative Constraint Reasoning

Author(s): Manuel Bodirsky, Peter Jonsson
Published in: Journal of Artificial Intelligence Research, Issue 58, 2017, Page(s) 339-385, ISSN 1076-9757
Publisher: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.5260

A universal partition result for infinite homogeneous K n -free and related graphs

Author(s): Andres Aranda, Claude Laflamme, Daniel T. Soukup, Robert Woodrow
Published in: Discrete Mathematics, Issue 344/1, 2021, Page(s) 112153, ISSN 0012-365X
Publisher: Elsevier BV
DOI: 10.1016/j.disc.2020.112153

A Consecutive Lehmer Code for Parabolic Quotients of the Symmetric Group

Author(s): Wenjie Fang, Henri Mühle, Jean-Christophe Novelli
Published in: The Electronic Journal of Combinatorics, Issue 28/3, 2021, ISSN 1077-8926
Publisher: Electronic Journal of Combinatorics
DOI: 10.37236/10578

Morphism extension classes of countable $L$-colored graphs

Author(s): Aranda, Andrés; Hartman, David
Published in: Acta Mathematica Universitatis Comenianae, Issue 3, 2018, ISSN 0862-9544
Publisher: Comenius University Press

The wonderland of reflections

Author(s): Libor Barto, Jakub Opršal, Michael Pinsker
Published in: Israel Journal of Mathematics, Issue 223/1, 2018, Page(s) 363-398, ISSN 0021-2172
Publisher: Magnes Press
DOI: 10.1007/s11856-017-1621-9

Tropically Convex Constraint Satisfaction

Author(s): Manuel Bodirsky, Marcello Mamino
Published in: Theory of Computing Systems, Issue 62/3, 2018, Page(s) 481-509, ISSN 1432-4350
Publisher: Springer Verlag
DOI: 10.1007/s00224-017-9762-0

Complexity of term representations of finitary functions

Author(s): Erhard Aichinger, Nebojša Mudrinski, Jakub Opršal
Published in: International Journal of Algebra and Computation, Issue 28/06, 2018, Page(s) 1101-1118, ISSN 0218-1967
Publisher: World Scientific Publishing Co
DOI: 10.1142/S0218196718500480

The universal homogeneous binary tree

Author(s): Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz
Published in: Journal of Logic and Computation, Issue 28/1, 2018, Page(s) 133-163, ISSN 0955-792X
Publisher: Oxford University Press
DOI: 10.1093/logcom/exx043

Discrete Temporal Constraint Satisfaction Problems

Author(s): Manuel Bodirsky, Barnaby Martin, Antoine Mottet
Published in: Journal of the ACM, Issue 65/2, 2018, Page(s) 1-41, ISSN 0004-5411
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3154832

A counterexample to the reconstruction of ω-categorical structures from their endomorphism monoid

Author(s): Manuel Bodirsky, David Evans, Michael Kompatscher, Michael Pinsker
Published in: Israel Journal of Mathematics, Issue 224/1, 2018, Page(s) 57-82, ISSN 0021-2172
Publisher: Magnes Press
DOI: 10.1007/s11856-018-1645-9

Constraint Satisfaction Problems for Reducts of Homogeneous Graphs

Author(s): Manuel Bodirsky, Barnaby Martin, Michael Pinsker, András Pongrácz
Published in: SIAM Journal on Computing, Issue 48/4, 2019, Page(s) 1224-1264, ISSN 0097-5397
Publisher: Society for Industrial and Applied Mathematics
DOI: 10.1137/16m1082974

A Dichotomy for First-Order Reducts of Unary Structures

Author(s): Manuel Bodirsky, Antoine Mottet
Published in: Logical Methods in Computer Science, Issue Volume 14, Issue 2, 2018, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig

HS-stability and complex products in involution semigroups

Author(s): Bertalan Bodor, Erkko Lehton, Thomas Quinn-Gregson, Nikolas Verhulst
Published in: Semigroup Forum, Issue 103, 2021, Page(s) 395-413, ISSN 0037-1912
Publisher: Springer Verlag

Solving equation systems in ω-categorical algebras

Author(s): Manuel Bodirsky, Thomas Quinn-Gregson
Published in: Journal of Mathematical Logic, 2021, Page(s) 2150020, ISSN 0219-0613
Publisher: Singapore University Press
DOI: 10.1142/s0219061321500203

Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation

Author(s): Manuel Bodirsky, Marcello Mamino, Caterina Viola
Published in: ACM Transactions on Computational Logic, Issue 23/1, 2022, Page(s) 1-35, ISSN 1529-3785
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3488721

Balanced independent sets in graphs omitting large cliques

Author(s): Claude Laflamme, Andres Aranda, Daniel T. Soukup, Robert Woodrow
Published in: Journal of Combinatorial Theory, Series B, Issue 137, 2019, Page(s) 1-9, ISSN 0095-8956
Publisher: Academic Press
DOI: 10.1016/j.jctb.2018.11.006

Canonical Functions: a proof via topological dynamics

Author(s): Bodirsky, Manuel; Pinsker, Michael
Published in: Contributions to Discrete Mathematics, Issue 17, 2021, Page(s) 36--45, ISSN 1715-0868
Publisher: University of Calgary Press

Completing graphs to metric spaces

Author(s): Andrés Aranda, David Bradley-Williams, Eng Keat Hng, Jan Hubička, Miltiadis Karamanlis, Michael Kompatscher, Matěj Konečný, Micheal Pawliuk
Published in: Electronic Notes in Discrete Mathematics, Issue 61, 2017, Page(s) 53-60, ISSN 1571-0653
Publisher: Elsevier BV
DOI: 10.1016/j.endm.2017.06.020

0-categoricity of semigroups

Author(s): Victoria Gould, Thomas Quinn-Gregson
Published in: Semigroup Forum, Issue 99, 2019, Page(s) 260-292, ISSN 0037-1912
Publisher: Springer Verlag

The Complexity of Combinations of Qualitative Constraint Satisfaction Problems

Author(s): Manuel Bodirsky, Johannes Greiner
Published in: Logical Methods in Computer Science, Issue Volume 16, Issue 1, 2020, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(1:21)2020

Two-element structures modulo primitive positive constructability

Author(s): Manuel Bodirsky, Albert Vucaj
Published in: Algebra universalis, Issue 81/2, 2020, ISSN 0002-5240
Publisher: Birkhauser Verlag
DOI: 10.1007/s00012-020-0647-8

Conference proceedings (14)

Network satisfaction for symmetric relation algebras with a flexible atom

Author(s): Manuel Bodirsky, Simon Knäuer
Published in: 2021
Publisher: PKP Publishing Services Network

On Logics and Homomorphism Closure

Author(s): Manuel Bodirsky, Thomas Feller, Simon Knauer, Sebastian Rudolph
Published in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6
Publisher: IEEE
DOI: 10.1109/lics52264.2021.9470511

IB- and MB-homogeneous graphs

Author(s): Andrés Aranda
Published in: Bordeaux Graph Workshop 2019, 2019
Publisher: LaBRi

MB-Homogeneous graphs and some new HH-homogeneous graphs

Author(s): Andrés Aranda, David Hartman
Published in: Acta Mathematica Universitatis Comenianae - EUROCOMB 2019, Issue 88(3), 2019, Page(s) 383-387
Publisher: ACTA MATHEMATICA UNIVERSITATIS COMENIANAE

Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Author(s): Bodirsky, Manuel; Knäuer, Simon; Rudolph, Sebastian
Published in: Issue 14, 2021
Publisher: https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16196
DOI: 10.4230/lipics.icalp.2021.120

Constraint Satisfaction Problems over Numeric Domains

Author(s): Bodirsky, Manuel ; Mamino, Marcello
Published in: 2017
Publisher: DROPS, Dagstuhl Research Online Publication Server
DOI: 10.4230/DFU.Vol7.15301.79

The complexity of disjunctive linear Diophantine constraints

Author(s): Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine
Published in: 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Liverpool, UK, 27-31 August 2018 [Conference proceedings], Issue 1, 2018
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Classification Transfer for Qualitative Reasoning Problems

Author(s): Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet
Published in: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018, Page(s) 1256-1262, ISBN 9780999241127
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2018/175

A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP

Author(s): Manuel Bodirsky, Florent Madelaine, Antoine Mottet
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18, 2018, Page(s) 105-114, ISBN 9781-450355834
Publisher: ACM Press
DOI: 10.1145/3209108.3209156

Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains

Author(s): Bodirsky, Manuel; Mamino, Marcello; Viola, Caterina
Published in: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Issue 6, 2018
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Robust algorithms with polynomial loss for near-unanimity CSPs

Author(s): Víctor Dalmau, Marcin Kozik, Andrei Krokhin, Konstantin Makarychev, Yury Makarychev, Jakub Opršal
Published in: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017, Page(s) 340-357, ISBN 978-1-61197-478-2
Publisher: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611974782.22

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

Author(s): Manuel Bodirsky, Antoine Mottet, Miroslav Olsak, Jakub Oprsal, Michael Pinsker, Ross Willard
Published in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-12, ISBN 978-1-7281-3608-0
Publisher: IEEE
DOI: 10.1109/lics.2019.8785883

Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property

Author(s): Manuel Bodirsky, Bertalan Bodor
Published in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13, ISBN 978-1-6654-4895-6
Publisher: IEEE
DOI: 10.1109/lics52264.2021.9470683

Temporal Constraint Satisfaction Problems in Fixed-Point Logic

Author(s): Manuel Bodirsky, Wied Pakusa, Jakub Rydval
Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Page(s) 237-251, ISBN 9781450371049
Publisher: ACM
DOI: 10.1145/3373718.3394750

Book chapters (6)

Tractable Combinations of Theories via Sampling

Author(s): Manuel Bodirsky, Johannes Greiner
Published in: Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings, Issue 12678, 2021, Page(s) 133-146, ISBN 978-3-030-75774-8
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-75775-5_10

Piecewise Linear Valued Constraint Satisfaction Problems with Fixed Number of Variables

Author(s): Manuel Bodirsky, Marcello Mamino, Caterina Viola
Published in: Graphs and Combinatorial Optimization: from Theory to Applications - CTW2020 Proceedings, Issue 5, 2021, Page(s) 265-276, ISBN 978-3-030-63071-3
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-63072-0_21

ASNP: A Tame Fragment of Existential Second-Order Logic

Author(s): Manuel Bodirsky, Simon Knäuer, Florian Starke
Published in: Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings, Issue 12098, 2020, Page(s) 149-162, ISBN 978-3-030-51465-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-51466-2_13

Complexity of Combinations of Qualitative Constraint Satisfaction Problems

Author(s): Manuel Bodirsky, Johannes Greiner
Published in: Automated Reasoning, Issue 10900, 2018, Page(s) 263-278, ISBN 978-3-319-94204-9
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-94205-6_18

Finite Relation Algebras with Normal Representations

Author(s): Manuel Bodirsky
Published in: Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings, Issue 11194, 2018, Page(s) 3-17, ISBN 978-3-030-02148-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-02149-8_1

Hardness of Network Satisfaction for Relation Algebras with Normal Representations

Author(s): Manuel Bodirsky, Simon Knäuer
Published in: Relational and Algebraic Methods in Computer Science, 2020, Page(s) 31-46, ISBN 9783030435196
Publisher: Springer

Other (3)

Revisiting Generalizations of the Dehn--Sommerville Relations

Author(s): Cesar Ceballos, Henri Mühle
Published in: 2021
Publisher: preprint

The poset of morphism-extension classes of countable graphs

Author(s): Andrés Aranda
Published in: Mathematica slovaca, 2021, ISSN 1337-2211
Publisher: Mathematical Institute Slovak Academy of Sciences

Classification of $\omega$-categorical monadically stable structures

Author(s): Bodor, Bertalan
Published in: Issue 2, 2020
Publisher: arxiv.org