Assessment of a non-conservative four-equation multiphase system with phase transition.
Paola BacigaluppiJulien CarlierMarica PelantiPietro Marco CongedoRémi AbgrallPublished in: CoRR (2021)
Keyphrases
- phase transition
- constraint satisfaction
- satisfiability problem
- randomly generated
- np complete
- hard problems
- combinatorial problems
- graph coloring
- random instances
- hamiltonian cycle
- sat problem
- average degree
- runge kutta
- level set
- differential equations
- deep structure
- np complete problems
- piecewise constant
- random graphs
- random sat
- random constraint satisfaction problems
- stochastic local search
- davis putnam
- numerical methods
- level set method
- cellular automata
- constraint satisfaction problems
- upper bound
- pairwise