Constraint Satisfaction with Countable Homogeneous Templates

Manuel Bodirsky, Jaroslav Nešetřil

Type: Book-Chapter

Publication Date: 2003-01-01

Citations: 22

DOI: https://doi.org/10.1007/978-3-540-45220-1_5

View Publication

Locations

Lecture notes in computer science - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Locally Finite Constraint Satisfaction Problems	2015	Bartek Klin Eryk Kopczyński Joanna Ochremiak Szymon Toruńczyk
+	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
+	Constraint Satisfaction with Countable Homogeneous Templates	2006	Manuel Bodirsky Jaroslav Nešetřil
+	Equations in oligomorphic clones and the Constraint Satisfaction Problem for $\omega$-categorical structures	2016	Libor Barto Michael Kompatscher Miroslav Olšák Trung Van Pham Michael Pinsker
+ PDF Chat	On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction	2012	Barnaby Martin Manuel Bodirsky Martin Hils
+ 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
+	𝜔-categorical structures avoiding height 1 identities	2020	Manuel Bodirsky Antoine Mottet Miroslav Olšák Jakub Opršal Michael Pinsker Ross Willard
+ PDF Chat	On polymorphism-homogeneous relational structures and their clones	2014	Christian Pech Maja Pech
+ PDF Chat	Distance Constraint Satisfaction Problems	2010	Manuel Bodirsky Víctor Dalmau Barnaby Martin 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
+	The wonderland of reflections	2015	Libor Barto Jakub Opršal Michael Pinsker
+ PDF Chat	On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction	2010	Manuel Bodirsky Martin Hils Barnaby Martin
+ 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
+	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
+	Constraint satisfaction problems for reducts of homogeneous graphs	2016	Manuel Bodirsky Barnaby Martin Michael Pinsker András Pongrácz
+	Constraint satisfaction problems for reducts of homogeneous graphs	2016	Manuel Bodirsky Barnaby Martin Michael Pinsker András Pongrácz
+	Constraint Satisfaction Problems for Reducts of Homogeneous Graphs	2019	Manuel Bodirsky Barnaby Martin Michael Pinsker András Pongrácz
+	Constraint satisfaction problems for reducts of homogeneous graphs.	2016	Manuel Bodirsky Barnaby Martin Michael Pinsker András Pongrácz

Works That Cite This (10)

Action	Title	Year	Authors
+	Tension continuous maps—Their structure and applications	2012	Jaroslav Nešetřil Robert Šámal
+	Positive Primitive Structures	2009	B. A. Romov
+	On the computational limits of infinite satisfaction	2005	Stefan Dantchev Frank D. Valencia
+	Homomorphism and embedding universal structures for restricted classes	2016	Jan Hubička Jaroslav Nešetřil
+ PDF Chat	The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems	2024	Manuel Bodirsky Žaneta Semanišinová Carsten Lutz
+ PDF Chat	The Core of a Countably Categorical Structure	2005	Manuel Bodirsky
+ PDF Chat	Datalog and Constraint Satisfaction with Infinite Templates	2006	Manuel Bodirsky Víctor Dalmau
+ PDF Chat	Cores of Countably Categorical Structures	2007	Manuel Bodirsky
+ PDF Chat	Universal Structures and the Logic of Forbidden Patterns	2006	Florent Madelaine
+ PDF Chat	Universal Structures and the logic of Forbidden Patterns	2009	Florent Madelaine

Works Cited by This (15)

Action	Title	Year	Authors
+	A shorter model theory	1997	Wilfrid Hodges
+	Clones in universal algebra	1986	Ágnes Szendrei
+	The Random Graph	2013	Peter J‎. Cameron
+	Locally Maximal Clones.	1982	Ivo G. Rosenberg Dietmar Schweigert
+ PDF Chat	Duality and Polynomial Testing of Tree Homomorphisms	1996	Pavol Hell Jaroslav Nešetřil Xuding Zhu
+ PDF Chat	Countable homogeneous tournaments	1984	A. H. Lachlan
+	Countable homogeneous partially ordered sets	1979	James H. Schmerl
+	Structure of partially ordered sets with transitive automorphism groups	1985	Manfred Droste
+	Galois theory for post algebras. I	1972	В. Г. Боднарчук Lev Arkadʹevich Kaluzhnin V. N. Kotov B. A. Romov
+	Automorphism Groups of Infinite Semilinear Orders (I)	1989	Manfred Droste W. Charles Holland Dugald Macpherson