Dagstuhl Seminar Proceedings 06401

Complexity of Constraints

N. Creignou, P. Kolaitis, H. Vollmer (Eds.)

published by LZI
Host

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 | Fulltext Search | Imprint
    Published by LZI