-Equivariant Symmetry-Breaking bifurcations.

Published in: Int. J. Bifurc. Chaos (2004)

Keyphrases

symmetry breaking
constraint programming
search tree
boolean satisfiability
quantified boolean formulae
constraint satisfaction problems
global constraints
integer linear programming
graph coloring
sat solvers
combinatorial problems
propositional satisfiability
boolean optimization