Constraint Satisfaction Problems of Bounded Width
Libor Barto, Marcin Kozik · 2009
We provide a full characterization of applicability of The Local Consistency Checking algorithm to solving the non-uniform Constraint Satisfaction Problems. This settles the conjecture of Larose and Zadori.