Dagstuhl Seminar Proceedings 06401
Complexity of Constraints
N. Creignou, P. Kolaitis, H. Vollmer (Eds.)
published by LZI
ISSN 1862 - 4405
Dagstuhl Seminar 06401, 01.10. - 06.10.2006
Additional Information
Seminar Homepage
License
Search Publication Server
Authors
Chen, Hubie
Cohen, David
Creignou, Nadia
Grohe, Martin
Gyssens, Marc
Jeavons, Peter
Kolaitis, Phokion
Kullmann, Oliver
Schnoor, Henning
Schnoor, Ilka
Vollmer, Heribert
06401 Abstracts Collection -- Complexity of Constraints
Authors:
Creignou, Nadia ; Kolaitis, Phokion ; Vollmer, Heribert
Abstract
|
Document (187 KB)
|
BibTeX
06401 Executive Summary -- Complexity of Constraints
Authors:
Creignou, Nadia ; Kolaitis, Phokion ; Vollmer, Heribert
Abstract
|
Document (131 KB)
|
BibTeX
A Unifying Theory of Structural Decompostions for the Constraint Satisfaction Problems
Authors:
Cohen, David ; Gyssens, Marc ; Jeavons, Peter
Abstract
|
Document (335 KB)
|
BibTeX
Constraint satisfaction problems in clausal form: Autarkies, minimal unsatisfiability, and applications to hypergraph inequalities
Authors:
Kullmann, Oliver
Abstract
|
Document (703 KB)
|
BibTeX
Constraint Satisfaction with Succinctly Specified Relations
Authors:
Chen, Hubie ; Grohe, Martin
Abstract
|
Document (229 KB)
|
BibTeX
Enumerating all Solutions for Constraint Satisfaction Problems
Authors:
Schnoor, Henning ; Schnoor, Ilka
Abstract
|
Document (404 KB)
|
BibTeX
New Algebraic Tools for Constraint Satisfaction
Authors:
Schnoor, Henning ; Schnoor, Ilka
Abstract
|
Document (274 KB)
|
BibTeX
DROPS-Home
|
Imprint
|
Privacy