Structuring Techniques for Constraint Satisfaction Problems.
Rainer WeigelBoi FaltingsPublished in: IJCAI (1) (1997)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- constraint propagation
- np complete
- search space
- combinatorial problems
- arc consistency
- soft constraints
- non binary
- arithmetic constraints
- finding optimal solutions
- np hard
- constraint networks
- product configuration
- disjunctive temporal
- global constraints
- constraint problems
- backtracking search
- search algorithm
- sat problem
- decomposition methods
- constraint solver