Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint propagation
- constraint programming
- relaxation labeling
- heuristic search
- constraint relaxation
- phase transition
- arc consistency
- combinatorial problems
- sat solvers
- backtrack search
- soft constraints
- constraint solving
- russian doll search
- forward checking
- constrained problems
- probabilistic reasoning
- constraint optimization
- search strategies
- search space