Using Local Search for Guiding Enumeration in Constraint Solving.
Éric MonfroyCarlos CastroBroderick CrawfordPublished in: AIMSA (2006)
Keyphrases
- constraint solving
- search space
- constraint satisfaction problems
- constraint propagation
- constraint logic programming
- constraint satisfaction
- search algorithm
- constraint solver
- constraint programming
- tree search
- genetic algorithm
- global search
- simulated annealing
- memetic algorithm
- finite domain
- combinatorial optimization
- dynamic programming
- hill climbing
- branch and bound
- search tree
- heuristic search
- tabu search
- optimal solution
- search procedure
- combinatorial problems
- stochastic local search
- state space
- database systems