Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar] - researchr publication

researchr

You are not signed in
Sign in
Sign up

Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer, editors, Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]. Volume 5250 of Lecture Notes in Computer Science, Springer, 2008. [doi]

Conference: Dagstuhl2008

Abstract is missing.

Introduction1-2 [doi]

Boolean Constraint Satisfaction Problems: When Does Post s Lattice Help?Nadia Creignou, Heribert Vollmer. 3-37 [doi]

Basics of Galois ConnectionsFerdinand Börner. 38-67 [doi]

Recent Results on the Algebraic Approach to the CSPAndrei A. Bulatov, Matthew Valeriote. 68-92 [doi]

Dualities for Constraint Satisfaction ProblemsAndrei A. Bulatov, Andrei A. Krokhin, Benoit Larose. 93-124 [doi]

A Logical Approach to Constraint SatisfactionPhokion G. Kolaitis, Moshe Y. Vardi. 125-155 [doi]

Uniform Constraint Satisfaction Problems and Database TheoryFrancesco Scarcello, Georg Gottlob, Gianluigi Greco. 156-195 [doi]

Constraint Satisfaction Problems with Infinite TemplatesManuel Bodirsky. 196-228 [doi]

Partial Polymorphisms and Constraint Satisfaction ProblemsHenning Schnoor, Ilka Schnoor. 229-254 [doi]

Introduction to the Maximum SolutionProblemPeter Jonsson, Gustav Nordh. 255-282 [doi]

Present and Future of Practical SAT SolvingOliver Kullmann. 283-319 [doi]

runs on WebDSL