The constraint satisfaction problem: complexity and approximability - Krokhin, A; Zivny, S (Schloss Dagstuhl, 2017)