Keyphrases
- constraint satisfaction problems
- np complete
- computational problems
- tractable classes
- constraint satisfaction
- np hard
- constraint programming
- constraint propagation
- search space
- computational complexity
- combinatorial problems
- product configuration
- hypertree decomposition
- temporal constraints
- backtracking search
- reasoning problems
- constraint networks
- non binary
- finite domain
- interval algebra
- decomposition methods
- arc consistency
- bounded treewidth
- constraint graph
- constraint optimization
- soft constraints
- constraint solving
- forward checking
- satisfiability problem
- phase transition
- special case