Keyphrases
- constraint propagation
- constraint satisfaction
- tree search
- constraint satisfaction problems
- constraint reasoning
- constraint programming
- constraint solving
- arc consistency
- temporal constraints
- linear programming
- quantifier elimination
- backtracking algorithms
- forward checking
- interval analysis
- tabu search
- dynamic programming
- constrained problems
- interval arithmetic
- russian doll search
- systematic search
- constraint graph
- search space
- constraint solver
- path consistency
- combinatorial problems
- limited discrepancy search
- optimal solution
- finite domain
- constraint problems
- temporal reasoning
- np complete
- simulated annealing