Zhuk, D., & Martin, B. (2020, June). QCSP monsters and the demise of the chen conjecture. Presented at 52nd Annual ACM SIGACT Symposium on Theory of Computing, Chicago