Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems.

Igor Razgon Barry O'Sullivan

Published in: CSCLP (2006)

Keyphrases

constraint satisfaction problems
constraint satisfaction
np complete
np hard
constraint programming
constraint propagation
weighted constraint satisfaction
constraint solving

combinatorial problems
search space
arc consistency
non binary
constraint optimization
constraint graph
decomposition methods

solving constraint satisfaction problems
pseudo boolean optimization
reasoning problems
computational problems
forward checking
constraint problems
backtracking algorithm

hypertree decomposition
backtracking search
constraint networks
disjunctive constraints
finding optimal solutions
global constraints
special case