| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer (eds.) |
Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar].  |
Complexity of Constraints  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinand Börner |
Basics of Galois Connections. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Scarcello, Georg Gottlob, Gianluigi Greco |
Uniform Constraint Satisfaction Problems and Database Theory. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Bulatov, Andrei A. Krokhin, Benoit Larose |
Dualities for Constraint Satisfaction Problems. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky |
Constraint Satisfaction Problems with Infinite Templates. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kullmann |
Present and Future of Practical SAT Solving. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Bulatov, Matthew Valeriote |
Recent Results on the Algebraic Approach to the CSP. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Phokion G. Kolaitis, Moshe Y. Vardi |
A Logical Approach to Constraint Satisfaction. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jonsson, Gustav Nordh |
Introduction to the Maximum SolutionProblem. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Introduction. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Schnoor, Ilka Schnoor |
Partial Polymorphisms and Constraint Satisfaction Problems. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
partial polymorphisms, computational complexity, constraint satisfaction problems, clones |
| 1 | Nadia Creignou, Heribert Vollmer |
Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Kullmann |
Constraint satisfaction problems in clausal form: Autarkies, minimal unsatisfiability, and applications to hypergraph inequalities. |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer |
06401 Abstracts Collection - Complexity of Constraints. |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | Henning Schnoor, Ilka Schnoor |
Enumerating all Solutions for Constraint Satisfaction Problems. |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer (eds.) |
Complexity of Constraints, 01.10. - 06.10.2006 |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | Henning Schnoor, Ilka Schnoor |
New Algebraic Tools for Constraint Satisfaction. |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | David A. Cohen, Marc Gyssens, Peter Jeavons |
A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems. |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen, Martin Grohe |
Constraint Satisfaction with Succinctly Specified Relations. |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer |
06401 Executive Summary - Complexity of Constraints. |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")