Symmetry-Breaking Bifurcations in Rings of Delay-Coupled Semiconductor Lasers.

Pietro-Luciano Buono Juancho A. Collera

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

Keyphrases

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