Symmetry and Symmetry-Breaking in Fluid Dynamics.
Andrzej HerczynskiRoberto ZenitPublished in: Symmetry (2024)
Keyphrases
- symmetry breaking
- fluid dynamics
- constraint programming
- numerical simulations
- navier stokes
- global constraints
- search tree
- boolean satisfiability
- integer linear programming
- constraint satisfaction problems
- quantified boolean formulae
- symmetry breaking constraints
- sat solvers
- constraint propagation
- multi dimensional
- genetic programming
- linear programming