QCSP monsters and the demise of the Chen Conjecture

Dmitriy Zhuk, Barnaby Martin

We give a surprising classification for the computational complexity of the Quantified Constraint Satisfaction Problem over a constraint language $\Gamma$, QCSP$(\Gamma )$, where $\Gamma$ is a fin…