Stability of Two-Dimensional Viscous Incompressible Flows under Three-Dimensional Perturbations and Inviscid Symmetry Breaking.
Claude BardosMilton C. Lopes FilhoDongjuan NiuHelena J. Nussenzveig LopesEdriss S. TitiPublished in: SIAM J. Math. Anal. (2013)
Keyphrases
- three dimensional
- symmetry breaking
- constraint programming
- search tree
- constraint satisfaction problems
- global constraints
- boolean satisfiability
- quantified boolean formulae
- sat solvers
- symmetry breaking constraints
- propositional satisfiability
- integer linear programming
- graph coloring
- constraint satisfaction
- constraint propagation
- max sat
- vector field
- scheduling problem
- lower bound
- search algorithm