共 50 条
- [2] Simulation of turbomachinery flows by a parallel solver with sub-iteration recoupling COMPUTATIONAL FLUID DYNAMICS 2000, 2001, : 417 - 422
- [6] A solver for massively parallel direct numerical simulation of three-dimensional multiphase flows Journal of Mechanical Science and Technology, 2017, 31 : 1739 - 1751
- [7] Validation and scalability of an open source parallel flow solver CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (21):
- [9] HordeSat: A Massively Parallel Portfolio SAT Solver THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, 2015, 9340 : 156 - 172
- [10] HordeQBF: A Modular and Massively Parallel QBF Solver THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, 2016, 9710 : 531 - 538