![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Outcome of Dagstuhl Seminars: Complexity of Constraints 2008
- Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer:
Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar]. Lecture Notes in Computer Science 5250, Springer 2008, ISBN 978-3-540-92799-0 - Introduction. 1-2
- Nadia Creignou, Heribert Vollmer
:
Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?. 3-37 - Ferdinand Börner:
Basics of Galois Connections. 38-67 - Andrei A. Bulatov, Matthew Valeriote
:
Recent Results on the Algebraic Approach to the CSP. 68-92 - Andrei A. Bulatov, Andrei A. Krokhin
, Benoît Larose:
Dualities for Constraint Satisfaction Problems. 93-124 - Phokion G. Kolaitis, Moshe Y. Vardi:
A Logical Approach to Constraint Satisfaction. 125-155 - Francesco Scarcello
, Georg Gottlob
, Gianluigi Greco:
Uniform Constraint Satisfaction Problems and Database Theory. 156-195 - Manuel Bodirsky
:
Constraint Satisfaction Problems with Infinite Templates. 196-228 - Henning Schnoor, Ilka Schnoor:
Partial Polymorphisms and Constraint Satisfaction Problems. 229-254 - Peter Jonsson, Gustav Nordh:
Introduction to the Maximum SolutionProblem. 255-282 - Oliver Kullmann:
Present and Future of Practical SAT Solving. 283-319
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.