Symmetry Breaking in Interacting Ring-Shaped Superflows of Bose-Einstein Condensates.
Artem OliinykIgor YatsutaBoris A. MalomedAlexander YakimenkoPublished in: Symmetry (2019)
Keyphrases
- symmetry breaking
- constraint programming
- boolean satisfiability
- search tree
- global constraints
- quantified boolean formulae
- integer linear programming
- constraint satisfaction problems
- sat solvers
- symmetry breaking constraints
- orders of magnitude
- boolean optimization
- data structure
- multi dimensional
- constraint propagation