A Simplified Proof of the Constraint Satisfaction Problem Dichotomy Conjecture and the Existence of XY-Symmetric Operations

This paper provides a new simplified proof of the correctness of Zhuk's algorithm for solving all tractable Constraint Satisfaction Problems (CSPs) on a finite domain, and also proves that composing a weak near-unanimity operation of an odd arity can derive an n-ary operation that is symmetric on all two-element sets.