Static and dynamic structural symmetry breaking.

Pierre Flener Justin Pearson Meinolf Sellmann

Published in: Ann. Math. Artif. Intell. (2009)

Keyphrases

symmetry breaking
constraint programming
global constraints
boolean satisfiability
integer linear programming
search tree
quantified boolean formulae
constraint satisfaction problems
graph coloring
computational complexity
boolean optimization
constraint satisfaction