The universe of symmetry breaking tasks.

Damien Imbs Sergio Rajsbaum Michel Raynal

Published in: PODC (2011)

Keyphrases

symmetry breaking
constraint programming
search tree
integer linear programming
boolean satisfiability
global constraints
database systems
lower bound
integer programming
boolean optimization