New Structural Decomposition Techniques for Constraint Satisfaction Problems.
Yaling ZhengBerthe Y. ChoueiryPublished in: CSCLP (2004)
Keyphrases
- constraint satisfaction problems
- decomposition methods
- constraint satisfaction
- tree decomposition
- constraint programming
- constraint propagation
- np complete
- search space
- constraint networks
- non binary
- arc consistency
- finite domain
- arithmetic constraints
- combinatorial problems
- constraint solving
- decomposition method
- np hard
- soft constraints
- sat problem
- product configuration
- global constraints
- constraint problems
- temporal constraints
- solving constraint satisfaction problems
- heuristic search
- graph coloring problems
- computational problems
- forward checking
- disjunctive temporal
- pseudo boolean optimization