Dagstuhl Seminar Proceedings, Volume 6401,
-
Nadia Creignou, Phokion Kolaitis, and Heribert Vollmer
06401 Abstracts Collection – Complexity of Constraints
10.4230/DagSemProc.06401.1
-
Nadia Creignou, Phokion Kolaitis, and Heribert Vollmer
06401 Executive Summary – Complexity of Constraints
10.4230/DagSemProc.06401.2
-
David Cohen, Marc Gyssens, and Peter Jeavons
A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems
10.4230/DagSemProc.06401.3
-
Oliver Kullmann
Constraint satisfaction problems in clausal form: Autarkies, minimal unsatisfiability, and applications to hypergraph inequalities
10.4230/DagSemProc.06401.4
-
Hubie Chen and Martin Grohe
Constraint Satisfaction with Succinctly Specified Relations
10.4230/DagSemProc.06401.5
-
Henning Schnoor and Ilka Schnoor
Enumerating all Solutions for Constraint Satisfaction Problems
10.4230/DagSemProc.06401.6
-
Henning Schnoor and Ilka Schnoor
New Algebraic Tools for Constraint Satisfaction
10.4230/DagSemProc.06401.7