Keyphrases
- constraint satisfaction
- constraint problems
- constraint satisfaction problems
- constraint networks
- path consistency
- max csp
- heuristic search
- phase transition
- constraint relaxation
- constraint programming
- probabilistic reasoning
- russian doll search
- soft constraints
- arc consistency
- constraint propagation
- combinatorial problems
- relaxation labeling
- constrained problems
- constraint solving
- forward checking
- global constraints
- sat solvers
- special case
- product configuration
- temporal reasoning
- constraint optimization
- orders of magnitude
- dynamic programming
- robust fault detection
- genetic algorithm