Keyphrases
- constraint satisfaction problems
- maintaining arc consistency
- constraint networks
- constraint satisfaction
- constraint problems
- global constraints
- arc consistency
- weighted constraint satisfaction
- path consistency
- tractable subclasses
- constraint programming
- constraint propagation
- disjunctive constraints
- consistency checking
- partial assignment
- search space
- np complete
- binary constraints
- non binary
- forward checking
- np hard
- constraint solving
- constraint graph
- combinatorial problems
- qualitative spatial and temporal reasoning
- constraint solvers
- product configuration
- computational problems
- soft constraints
- solving constraint satisfaction problems
- disjunctive temporal
- pseudo boolean optimization
- global consistency
- decomposition methods
- randomly generated
- backtracking search
- graph coloring problems
- partial constraint satisfaction
- constraint optimization
- computational complexity
- search algorithm