Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras

Libor Barto, Zarathustra Brady, Andrei Bulatov +2

This paper focuses on the algebraic theory underlying the study of the complexity and the algorithms for the Constraint Satisfaction Problem (CSP). We unify, simplify, and extend p…