Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems.
Igor RazgonBarry O'SullivanPublished 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