Skip to main content

Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones

Publications

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

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

$\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
DOI: 10.1090/tran/8179

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
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
DOI: 10.1016/j.ejc.2019.103063

HOMOGENEOUS COMPLETELY SIMPLE SEMIGROUPS

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

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
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
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
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
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
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
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
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

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
DOI: 10.1142/s0219061321500203

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
DOI: 10.1016/j.endm.2017.06.020

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
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
DOI: 10.1007/s00012-020-0647-8

IB- and MB-homogeneous graphs

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

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

Constraint Satisfaction Problems over Numeric Domains

Author(s): Bodirsky, Manuel ; Mamino, Marcello
Published in: 2017
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

Classification transfer for qualitative reasoning problems

Author(s): Martin, Barnaby; Jonsson, Peter; Bodirsky, Manuel; Mottet, Antoine
Published in: Issue 2, 2018

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
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

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
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
DOI: 10.1109/lics.2019.8785883

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
DOI: 10.1145/3373718.3394750

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
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
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
DOI: 10.1007/978-3-030-02149-8_1