New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality

Tomáš Nagy, Michael Pinsker, Michał Wrona

The path to the solution of Feder-Vardi dichotomy conjecture by Bulatov and Zhuk led through showing that more and more general algebraic conditions imply polynomial-time algorithm…