Structural Symmetry Breaking.

Meinolf Sellmann Pascal Van Hentenryck

Published in: IJCAI (2005)

Keyphrases

symmetry breaking
constraint programming
search tree
global constraints
quantified boolean formulae
boolean satisfiability
constraint satisfaction problems
integer linear programming
graph coloring
genetic algorithm
arc consistency