Local Search with Constraint Propagation and Conflict-Based Heuristics.

Narendra Jussien Olivier Lhomme

Published in: AAAI/IAAI (2000)

Keyphrases

constraint propagation
tree search
systematic search
variable neighbourhood search
search algorithm
constraint programming
search space
constraint satisfaction problems
constraint reasoning

constraint satisfaction
temporal constraints
constraint solving
interval arithmetic
heuristic search
interval analysis
constraint solvers
propositional satisfiability

stochastic local search
arc consistency
search strategies
linear programming
russian doll search
partial solutions
constraint graph
quantifier elimination

soft constraints
genetic algorithm
search methods
special case
path consistency
tabu search
evolutionary algorithm
computational complexity