Dmitriy Zhuk, « A Proof of the CSP Dichotomy Conjecture », 58th Annual Symposium on Foundations of Computer Science (FOCS), IEEE, , p. 319–330 (DOI10.1109/FOCS.2017.38)
Andrei A. Bulatov, « A Dichotomy Theorem for Nonuniform CSPs », 58th Annual Symposium on Foundations of Computer Science (FOCS), IEEE, , p. 319–330 (DOI10.1109/FOCS.2017.37).