Symmetry Breaking and Local Search Spaces.

Steven D. Prestwich Andrea Roli

Published in: CPAIOR (2005)

Keyphrases

symmetry breaking
constraint programming
search tree
propositional satisfiability
search algorithm
search space
global constraints

boolean satisfiability
integer linear programming
tabu search
search heuristics
constraint satisfaction problems
genetic algorithm
search procedure

search procedures
memetic algorithm
graph coloring
sat solvers
sat solving
constraint propagation
search strategies

combinatorial optimization
optimal solution
stochastic local search
column generation
constraint satisfaction
orders of magnitude