并行求解器相关论文
基于对称三对角特征问题的分而治之方法，提出了一个适合SMP集群环境的多级混合并行算法。SMP节点内的并行求解采用了粗粒度和细粒度......
为了有效管理学习子句,避免学习子句规模呈几何级增长,减少冗余学习子句对系统内存占用,从而提高布尔可满足性问题SAT求解器的求解......
本文提出了一种新的混合有限元-无限元三维可控源电磁法（CSEM）问题快速高精度正演模拟算法.首先从电场双旋度方程出发，推导了水平电偶......
