Constraint Satisfaction Problems Solvable by Local Consistency Methods.

Libor Barto Marcin Kozik

Published in: J. ACM (2014)

Keyphrases

constraint satisfaction problems
constraint satisfaction
np hard
np complete
constraint programming
special case
consistency checking
lower bound
constraint networks
non binary
computational problems
decomposition methods
constraint problems
graph based representations