Login / Signup

The Universe of Symmetry Breaking Tasks.

Damien ImbsSergio RajsbaumMichel Raynal
Published in: SIROCCO (2011)
Keyphrases
  • symmetry breaking
  • constraint programming
  • global constraints
  • integer linear programming
  • boolean satisfiability
  • constraint satisfaction problems
  • orders of magnitude
  • search tree
  • quantified boolean formulae