The complete classification for quantified equality constraints

Dmitriy Zhuk, Barnaby Martin, Michal Wrona

We prove that QCSP$(\mathbb{N};x=y\to y=z)$ is PSpace-complete, settling a question open for more than ten years. This completes the complexity classification for the QCSP…