Krokhin, A., & Zivny, S. (2017). The Constraint Satisfaction Problem: Complexity and Approximability. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik