PMSat: a parallel version of MiniSAT
PMSat: a parallel version of MiniSAT
复制标题
PMSat：MiniSAT 的并行版本
DOI：
10.3233/sat190063
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
L. M. Silveira
中科院分区：
文献类型：
--
作者：
Luís Gil;Paulo F. Flores;L. M. Silveira
并行计算已经成为一种负担得起的现实，迫使编程范式从顺序应用程序转向并发应用程序，特别是那些需要大量计算能力或像sat求解器这样的大型搜索空间的应用程序。在这种背景下，我们提出了PMSat的研究、规划和实现：PMSat是一种具有MPI（消息传递接口）技术的MiniSAT的并行版本，将在计算机集群或网格中执行。描述了该程序的主要特点：搜索模式、搜索空间修剪和学习到的子句共享。对其性能和负载平衡进行了分析。
Parallel computing has become an affordable reality forcing a shift in the programming paradigm from sequential to concurrent applications, specially those who demand much computational power or with large search spaces like SAT-solvers. In this context we present the research, planning and implementation of PMSat: a parallel version of MiniSAT with MPI (Message Passing Interface) technology, to be executed in clusters or grids of computers. The main features of the program are described: search modes, search space pruning and share of learnt clauses. An analysis of its performance and load balance is also presented.