MapleAmpharos公司 swMATH ID: 25920 软件作者： 赛义德·内贾蒂；纽瑟姆，扎克；约瑟夫·斯科特（Joseph Scott）；梁家辉；凯瑟琳·格博提斯（Catherine Gebotys）；Poupart，帕斯卡；维杰·加内什 描述： 一种基于传播速率的分裂启发式算法，适用于分治求解器。在本文中，我们提出了一个分治SAT解算器MapleAmpharos，它使用了一种新的基于传播率（PR）的分裂启发式算法。关键思想是，我们根据变量在工人冲突驱动的子句学习解决程序运行过程中引起的传播次数与分支次数的比率对变量进行排名，其中引起传播次数最多的变量排名第一。这里的直觉是，在分而治之的解算器环境中，对传播速度最大化的变量进行拆分最为有利。我们的实现MapleAmpharos使用AMPHAROS解算器作为其基础。我们对MapleAmpharos与其他竞争性并行解算器（如Treengeling、Plingeling、parallel CryptoMiniSat5和Glucose-Syrup）进行了广泛评估。我们表明，在2016年SAT竞赛应用程序基准测试和一组加密实例中，我们的解算器MapleAmpharos相对于这些顶级并行解算器具有竞争力。令人惊讶的是，我们主要通过修改分裂启发式得到了这个结果。 主页： https://link.springer.com/chapter/10.1007%2F978-3-319-66263-3_16 相关软件： 变速箱;斯普拉茨;AmPharoS公司;糖浆;HordeSat卫星;PMiniSAT公司;加密MiniSat;葡萄糖;褶皱;ManySAT公司 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 一种基于传播速率的分裂启发式算法赛义德·内贾蒂；纽瑟姆，扎克；约瑟夫·斯科特（Joseph Scott）；梁家辉；凯瑟琳·格博提斯（Catherine Gebotys）；Poupart，帕斯卡；维杰·加内什 2017 3位作者引用 1 基里尔·安东诺夫 1 伊利亚·奥特普申尼科夫。 1 Aleksandr Anatol’evich塞梅诺夫 0连载引用 在1个字段中引用 1 运筹学、数学规划（90-XX） 按年份列出的引文