Complexity of Constraints

Keyphrases

Publications

2008

Andrei A. Bulatov, Matthew Valeriote
Recent Results on the Algebraic Approach to the CSP. Complexity of Constraints (2008)
Nadia Creignou, Heribert Vollmer
Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?. Complexity of Constraints (2008)
Peter Jonsson, Gustav Nordh
Introduction to the Maximum SolutionProblem. Complexity of Constraints (2008)
Henning Schnoor, Ilka Schnoor
Partial Polymorphisms and Constraint Satisfaction Problems. Complexity of Constraints (2008)
Introduction. Complexity of Constraints (2008)
Phokion G. Kolaitis, Moshe Y. Vardi
A Logical Approach to Constraint Satisfaction. Complexity of Constraints (2008)
Manuel Bodirsky
Constraint Satisfaction Problems with Infinite Templates. Complexity of Constraints (2008)
Francesco Scarcello, Georg Gottlob, Gianluigi Greco
Uniform Constraint Satisfaction Problems and Database Theory. Complexity of Constraints (2008)
Andrei A. Bulatov, Andrei A. Krokhin, Benoît Larose
Dualities for Constraint Satisfaction Problems. Complexity of Constraints (2008)
Ferdinand Börner
Basics of Galois Connections. Complexity of Constraints (2008)
Oliver Kullmann
Present and Future of Practical SAT Solving. Complexity of Constraints (2008)

volume 5250, 2008

Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]. Complexity of Constraints 5250 (2008)

2006

volume 6401, 2006

Complexity of Constraints, 01.10. - 06.10.2006 Complexity of Constraints 6401 (2006)