A simplified proof of the CSP Dichotomy Conjecture and XY-symmetric operations

Dmitriy Zhuk

We develop a new theory of strong subalgebras and linear congruences that are defined globally. Using this theory we provide a new proof of the correctness of Zhuk's algorithm for…