MPI部门QBF swMATH ID: 18671 软件作者: 乔丹,C.,凯撒,L.,朗辛,F.,塞德尔,M。 描述: MPIDepQBF:面向无知识共享的并行QBF求解。受最近关于并行SAT求解的工作启发,我们提出了一种用于并行求解量化布尔公式(QBFs)的轻量级方法。特别是,我们的方法使用了最先进的顺序QBF解算器来评估工作过程中的子公式。它避免工人之间在全球范围内交换信息,但只保留在本地学到的信息。为此,我们为最先进的QBF解算器DepQBF配备了基于假设的推理,并将其集成到我们的新型解算器MPIDepQBF中,作为后端解算器。在标准计算机和超级计算机Tsubame上的大量实验表明了我们的方法的影响。 主页: http://link.springer.com/chapter/10.1007/978-3-319-09284-3_32 相关软件: 部门QBF;QMiraXT公司;罕见的QS;QESTO公司;semprop公司;CAQE公司;霍德QBF;HordeSat卫星;布洛克;Quaffle餐厅;PicoSAT卫星;QUBE公司;剪影;sQueezeBF公司;HQPre公司;AIG解决方案;QBFEVAL公司;StarExec公司;韦卡;SATO公司 引用于: 4文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 \(\mathsf{MPIDepQBF}\):实现无知识共享的并行QBF求解。 Zbl 1423.68455号查尔斯·乔丹;凯撒,卢卡斯;弗洛里安·朗辛;马蒂娜·塞德尔 2014 全部的 前5名7位作者引用 2 弗洛里安·朗辛 2 马蒂娜·塞德尔 1 托马斯·巴尔约 1 查尔斯·乔丹 1 卢卡斯·凯泽 1 卢卡·普利纳 1 Leander Tentrup公司 连载1篇 1 人工智能 在1个字段中引用 4 计算机科学(68-XX) 按年份列出的引文