Tractable Symmetry Breaking Using Restricted Search Trees.

Colva M. Roney-Dougal Ian P. Gent Tom Kelsey Steve Linton

Published in: ECAI (2004)

Keyphrases

symmetry breaking
search tree
search algorithm
search space
constraint programming
branch and bound algorithm
boolean satisfiability
b tree
np complete
sat solvers
tree search
np hard
integer linear programming
genetic algorithm
multi dimensional
evolutionary algorithm
high dimensional
symmetry breaking constraints