Constraint Satisfaction Problems of Bounded Width

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 Z´adori.

• Type: Conference
• Year: 2009
• Where: FOCS
• Authors: Libor Barto, Marcin Kozik
• Keywords: Consistency Checking Algorithm, FOCS 2009, Larose, Non-uniform Constraint Satisfaction, Theoretical Computer Science