@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} }