The complexity of constraint satisfaction games and QCSP - Börner, F; Bulatov, A; Chen, H; Jeavons, P; Krokhin, A (2009)