Login / Signup
Observations on Symmetry Breaking.
Barbara M. Smith
Published in:
CP (2009)
Keyphrases
</>
symmetry breaking
constraint programming
global constraints
boolean satisfiability
search tree
quantified boolean formulae
integer linear programming
constraint satisfaction problems
graph coloring
constraint propagation
symmetry breaking constraints
constraint satisfaction
sat solvers
boolean optimization