Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, and Andrei Krokhin. 09441 Abstracts Collection – The Constraint Satisfaction Problem: Complexity and Approximability. In The Constraint Satisfaction Problem: Complexity and Approximability. Dagstuhl Seminar Proceedings, Volume 9441, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{bulatov_et_al:DagSemProc.09441.1, author = {Bulatov, Andrei A. and Grohe, Martin and Kolaitis, Phokion G. and Krokhin, Andrei}, title = {{09441 Abstracts Collection – The Constraint Satisfaction Problem: Complexity and Approximability}}, booktitle = {The Constraint Satisfaction Problem: Complexity and Approximability}, pages = {1--14}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9441}, editor = {Andrei A. Bulatov and Martin Grohe and Phokion G. Kolaitis and Andrei Krokhin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09441.1}, URN = {urn:nbn:de:0030-drops-23710}, doi = {10.4230/DagSemProc.09441.1}, annote = {Keywords: Constraint satisfaction problem (CSP), satisfiability, computational complexity, CSP dichotomy conjecture, hardness of approximation, unique games conjecture, universal algebra, logic} }
Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, and Andrei Krokhin. 09441 Executive Summary – The Constraint Satisfaction Problem: Complexity and Approximability. In The Constraint Satisfaction Problem: Complexity and Approximability. Dagstuhl Seminar Proceedings, Volume 9441, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{bulatov_et_al:DagSemProc.09441.2, author = {Bulatov, Andrei A. and Grohe, Martin and Kolaitis, Phokion G. and Krokhin, Andrei}, title = {{09441 Executive Summary – The Constraint Satisfaction Problem: Complexity and Approximability}}, booktitle = {The Constraint Satisfaction Problem: Complexity and Approximability}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9441}, editor = {Andrei A. Bulatov and Martin Grohe and Phokion G. Kolaitis and Andrei Krokhin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09441.2}, URN = {urn:nbn:de:0030-drops-23706}, doi = {10.4230/DagSemProc.09441.2}, annote = {Keywords: Constraint satisfaction problem (CSP), satisfiability, computational complexity, CSP dichotomy conjecture, hardness of approximation, unique games conjecture, universal algebra, logic} }
Matt Valeriote, Simone Bova, and Hubie Chen. On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. In The Constraint Satisfaction Problem: Complexity and Approximability. Dagstuhl Seminar Proceedings, Volume 9441, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{valeriote_et_al:DagSemProc.09441.3, author = {Valeriote, Matt and Bova, Simone and Chen, Hubie}, title = {{On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas}}, booktitle = {The Constraint Satisfaction Problem: Complexity and Approximability}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9441}, editor = {Andrei A. Bulatov and Martin Grohe and Phokion G. Kolaitis and Andrei Krokhin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09441.3}, URN = {urn:nbn:de:0030-drops-23690}, doi = {10.4230/DagSemProc.09441.3}, annote = {Keywords: Expression complexity, equivalence, isomorphism, primitive positive formulas} }
Ross Willard. PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE. In The Constraint Satisfaction Problem: Complexity and Approximability. Dagstuhl Seminar Proceedings, Volume 9441, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{willard:DagSemProc.09441.4, author = {Willard, Ross}, title = {{PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE}}, booktitle = {The Constraint Satisfaction Problem: Complexity and Approximability}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9441}, editor = {Andrei A. Bulatov and Martin Grohe and Phokion G. Kolaitis and Andrei Krokhin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09441.4}, URN = {urn:nbn:de:0030-drops-23680}, doi = {10.4230/DagSemProc.09441.4}, annote = {Keywords: Primitive positive formula, definability, complexity} }
Barnaby Martin and Jos Martin. The complexity of positive first-order logic without equality II: The four-element case. In The Constraint Satisfaction Problem: Complexity and Approximability. Dagstuhl Seminar Proceedings, Volume 9441, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{martin_et_al:DagSemProc.09441.5, author = {Martin, Barnaby and Martin, Jos}, title = {{The complexity of positive first-order logic without equality II: The four-element case}}, booktitle = {The Constraint Satisfaction Problem: Complexity and Approximability}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9441}, editor = {Andrei A. Bulatov and Martin Grohe and Phokion G. Kolaitis and Andrei Krokhin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09441.5}, URN = {urn:nbn:de:0030-drops-23670}, doi = {10.4230/DagSemProc.09441.5}, annote = {Keywords: Quantified constraints, Galois connection} }
Feedback for Dagstuhl Publishing