Equations in oligomorphic clones and the Constraint Satisfaction Problem for $\omega$-categorical structures

Libor Barto, Michael Kompatscher, Miroslav Olšák, Trung Van Pham, Michael Pinsker

Type: Preprint

Publication Date: 2016-12-22

Citations: 8

Locations

arXiv (Cornell University) - View

Similar Works

Action	Title	Year	Authors
+	Equations in oligomorphic clones and the Constraint Satisfaction Problem for $ω$-categorical structures	2016	Libor Barto Michael Kompatscher Miroslav Olšák Trung Van Pham Michael Pinsker
+	Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures	2019	Libor Barto Michael Kompatscher Miroslav Olšák Van Pham Trung Michael Pinsker
+	The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems	2017	Libor Barto Michael Kompatscher Miroslav Olšák Trung Van Pham Michael Pinsker
+	The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems	2017	Libor Barto Michael Kompatscher Miroslav Olšák Trung Van Pham Michael Pinsker
+	𝜔-categorical structures avoiding height 1 identities	2020	Manuel Bodirsky Antoine Mottet Miroslav Olšák Jakub Opršal Michael Pinsker Ross Willard
+ PDF Chat	Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)	2019	Manuel Bodirsky Antoine Mottet Miroslav Olšák Jakub Opršal Michael Pinsker Ross Willard
+	The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems	2016	Libor Barto Michael Pinsker
+	The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems	2016	Libor Barto Michael Pinsker
+	All reducts of the random graph are model-complete	2009	Manuel Bodirsky Michael Pinsker
+	All reducts of the random graph are model-complete	2009	Manuel Bodirsky Michael Pinsker
+	When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems	2020	Pierre Gillibert Julius Jonušas Michael Kompatscher Antoine Mottet Michael Pinsker
+ PDF Chat	Reducts of Ramsey structures	2011	Manuel Bodirsky Michael Pinsker
+	Reducts of Ramsey structures	2011	Manuel Bodirsky Michael Pinsker
+ PDF Chat	When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems	2022	Pierre Gillibert Julius Jonušas Michael Kompatscher Antoine Mottet Michael Pinsker
+	Constraint Satisfaction with Countable Homogeneous Templates	2003	Manuel Bodirsky Jaroslav Nešetřil
+	The structure of generic automorphisms of the random poset	2020	Dakota Thor Ihli
+	The wonderland of reflections	2015	Libor Barto Jakub Opršal Michael Pinsker
+	Generalised Indiscernibles, Dividing Lines, and Products of Structures	2023	Nadav Meir Aris Papadopoulos Pierre Touchard
+	Structures with Small Orbit Growth	2018	Manuel Bodirsky Bertalan Bodor
+	Topology is irrelevant (in a dichotomy conjecture for infinite domain constraint satisfaction problems)	2019	Libor Barto Michael Pinsker

Works That Cite This (8)

Action	Title	Year	Authors
+ PDF Chat	Smooth approximations and CSPs over finitely bounded homogeneous structures	2022	Antoine Mottet Michael Pinsker
+	Constraint satisfaction problems for reducts of homogeneous graphs	2016	Manuel Bodirsky Barnaby Martin Michael Pinsker András Pongrácz
+ PDF Chat	A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory	2024	Manuel Bodirsky Bertalan Bodor
+	A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP	2018	Manuel Bodirsky Florent Madelaine Antoine Mottet
+ PDF Chat	Pseudo‐loop conditions	2019	Pierre Gillibert Julius Jonušas Michael Pinsker
+ PDF Chat	Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)	2019	Manuel Bodirsky Antoine Mottet Miroslav Olšák Jakub Opršal Michael Pinsker Ross Willard
+	Hardness of Network Satisfaction for Relation Algebras with Normal Representations	2019	Manuel Bodirsky Simon Knäuer
+	The Complexity of Combinations of Qualitative Constraint Satisfaction Problems	2018	Manuel Bodirsky Johannes Greiner

Works Cited by This (20)

Action	Title	Year	Authors
+	A shorter model theory	1997	Wilfrid Hodges
+	Theory of relations	1986	Roland Fraïssé
+ PDF Chat	Towards a Ryll‐Nardzewski‐type theorem for weakly oligomorphic structures	2016	Christian Pech Maja Pech
+ PDF Chat	Fraïssé Limits, Ramsey Theory, and topological dynamics of automorphism groups	2005	Alexander S. Kechris Vladimir Pestov Stevo Todorčević
+	A survey of homogeneous structures	2011	Dugald Macpherson
+	Reducts of the random graph	1991	Simon Thomas
+	Fra\"iss\'e sequences: category-theoretic approach to universal homogeneous structures	2007	Wiesław Kubiś
+ PDF Chat	Reducts of Ramsey structures	2011	Manuel Bodirsky Michael Pinsker
+	A counterexample to the reconstruction of $\omega$-categorical structures from their endomorphism monoids	2015	Manuel Bodirsky David M. Evans Michael Kompatscher Michael Pinsker
+ PDF Chat	Schaefer's Theorem for Graphs	2015	Manuel Bodirsky Michael Pinsker