Congruence Distributivity Implies Bounded Width
Libor Barto, Marcin Kozik · SIAM Journal on Computing · 2009
We show that a constraint language with compatible Jónsson terms (or, equivalently, associated with an algebra generating a congruence distributive variety) defines a constraint satisfaction problem solvable by the local consistency checking algorithm.