Login / Signup
The Universe of Symmetry Breaking Tasks.
Damien Imbs
Sergio Rajsbaum
Michel 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