Login / Signup

Dynamic Symmetry Breaking Restarted.

Daniel S. HellerMeinolf Sellmann
Published in: CP (2006)
Keyphrases
  • symmetry breaking
  • constraint programming
  • search tree
  • boolean satisfiability
  • search algorithm
  • multi dimensional
  • global constraints
  • integer linear programming