New Developments in Symmetry Breaking in Search Using Computational Group Theory.

Tom Kelsey Steve Linton Colva M. Roney-Dougal

Published in: AISC (2004)

Keyphrases

symmetry breaking
constraint programming
search tree
search algorithm
global constraints
graph coloring
search space
constraint satisfaction problems
parameterized complexity
search strategy
integer linear programming
genetic programming
search procedure