Sign in
Symmetry Breaking Using Stabilizers.
Jean-Francois Puget
Published in:
CP (2003)
Keyphrases
</>
symmetry breaking
constraint programming
constraint satisfaction problems
search tree
global constraints
boolean satisfiability
integer linear programming
quantified boolean formulae
graph coloring
combinatorial problems
randomly generated