Login / Signup
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