Keyphrases
- constraint programming
- search procedures
- search strategies
- constraint satisfaction problems
- combinatorial problems
- constraint satisfaction
- constraint propagation
- search heuristics
- search algorithm
- search space
- search procedure
- symmetry breaking
- search methods
- metaheuristic
- finite domain
- constraint solver
- global constraints
- routing problem
- sat solvers
- combinatorial search
- cost function
- beam search
- evaluation function
- np complete
- np hard