Anti-phase synchronization and symmetry-breaking bifurcation of impulsively coupled oscillators.
Haibo JiangYang LiuLiping ZhangJianjiang YuPublished in: Commun. Nonlinear Sci. Numer. Simul. (2016)
Keyphrases
- symmetry breaking
- constraint programming
- boolean satisfiability
- search tree
- graph coloring
- quantified boolean formulae
- constraint satisfaction problems
- global constraints
- boolean optimization
- integer linear programming
- database systems
- search algorithm
- first order logic
- heuristic search
- combinatorial problems
- propositional satisfiability