Bifurcation tracking on moving meshes and with consideration of azimuthal symmetry breaking instabilities.
Christian DiddensDuarte RochaPublished in: J. Comput. Phys. (2024)
Keyphrases
- symmetry breaking
- constraint programming
- search tree
- global constraints
- quantified boolean formulae
- graph coloring
- boolean satisfiability
- moving objects
- constraint satisfaction problems
- integer linear programming
- objective function
- dynamic programming
- linear programming
- propositional logic
- d mesh
- combinatorial problems