Sign in

Dynamic Symmetry Breaking by Simulating Zykov Contraction.

Bas SchaafsmaMarijn HeuleHans van Maaren
Published in: SAT (2009)
Keyphrases
  • symmetry breaking
  • constraint programming
  • global constraints
  • search tree
  • integer linear programming
  • boolean satisfiability