Login / Signup

Symmetry breaking in a two-component system with repulsive interactions and linear coupling.

Hidetsugu SakaguchiBoris A. Malomed
Published in: Commun. Nonlinear Sci. Numer. Simul. (2021)
Keyphrases
  • symmetry breaking
  • constraint programming
  • quantified boolean formulae
  • search tree
  • boolean satisfiability
  • constraint satisfaction problems
  • constraint satisfaction
  • global constraints
  • graph coloring