Local search with constraint propagation and conflict-based heuristics.
Narendra JussienOlivier LhommePublished in: Artif. Intell. (2002)
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
- heuristic search
- constraint solving
- search strategies
- propositional satisfiability
- constraint solvers
- constraint graph
- linear programming
- constraint solver
- interval analysis
- stochastic local search
- quantifier elimination
- interval arithmetic
- state space
- sat solvers
- finite domain
- genetic algorithm
- tabu search
- relational databases
- variable ordering
- memetic algorithm