Login / Signup
Dynamic Symmetry Breaking Restarted.
Daniel S. Heller
Meinolf Sellmann
Published in:
CP (2006)
Keyphrases
</>
symmetry breaking
constraint programming
search tree
boolean satisfiability
search algorithm
multi dimensional
global constraints
integer linear programming