Lattice Symmetry-Breaking Perturbations for Spiral Waves.

Laurent Charette Victor G. LeBlanc

Published in: SIAM J. Appl. Dyn. Syst. (2014)

Keyphrases

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