Constraint Propagation as the Core of Local Search.
Nikolaos PothitosGeorge KastrinisPanagiotis StamatopoulosPublished in: SETN (2012)
Keyphrases
- constraint propagation
- systematic search
- search space
- tree search
- constraint reasoning
- constraint satisfaction problems
- constraint programming
- constraint solving
- constraint satisfaction
- temporal constraints
- linear programming
- backtracking algorithms
- constraint graph
- tabu search
- search algorithm
- russian doll search
- memetic algorithm
- interval arithmetic
- quantifier elimination
- constrained problems
- constraint solver
- arc consistency
- path consistency
- soft constraints
- job shop scheduling problem
- genetic algorithm
- simulated annealing
- optimal solution
- metaheuristic
- objective function