×

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 人工智能

在1个字段中引用

4 计算机科学(68-XX)

按年份列出的引文