NuSBDS: An Easy to Use Symmetry Breaking System.

Published in: CP (2003)

Keyphrases

symmetry breaking
constraint programming
search tree
boolean satisfiability
quantified boolean formulae
constraint satisfaction problems
global constraints
integer linear programming
graph coloring
symmetry breaking constraints
lower bound
automated reasoning