Symmetry Breaking.

Torsten Fahle Stefan Schamberger Meinolf Sellmann

Published in: CP (2001)

Keyphrases

symmetry breaking
constraint programming
global constraints
quantified boolean formulae
search tree
integer linear programming
constraint satisfaction problems
boolean satisfiability
graph coloring
symmetry breaking constraints
sat solvers
search space
worst case
genetic programming
constraint satisfaction