Explicit-Implicit Domain Splitting for Two Phase Flows with Phase Transition.
Sandra MayFerdinand TheinPublished in: CoRR (2022)
Keyphrases
- phase transition
- constraint satisfaction
- hard problems
- randomly generated
- satisfiability problem
- combinatorial problems
- graph coloring
- random instances
- domain independent
- sat problem
- np complete
- random constraint satisfaction problems
- average degree
- deep structure
- relational learning
- cellular automata
- random graphs
- magnetic field
- max sat
- heuristic search
- dynamic programming
- search space