DepQBF: A Dependency-Aware QBF Solver
DepQBF: A Dependency-Aware QBF Solver
复制标题
DepQBF：具有依赖性的 QBF 求解器
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Armin Biere
中科院分区：
文献类型：
--
作者：
Florian Lonsing;Armin Biere
我们提出了DepQBF 0.1，一个新的基于搜索的求解器的量化布尔公式（QBF）。它集成了紧凑的依赖图，以克服在前束合取范式（PCNF）的QBF的线性量词前缀所施加的限制。DepQBF 0.1在QBFEVAL'10的主赛道中排名第一。我们提供了一个一般的系统概述，并描述了选定的正交功能，如重新启动和删除学习的约束。
We present DepQBF 0.1, a new search-based solver for quantified boolean formulae (QBF). It integrates compact dependency graphs to overcome the restrictions imposed by linear quantifier prefixes of QBFs in prenex conjunctive normal form (PCNF). DepQBF 0.1 was placed first in the main track of QBFEVAL’10 in a score-based ranking. We provide a general system overview and describe selected orthogonal features such as restarts and removal of learnt constraints.
DOI：
10.1007/s10817-008-9114-5
发表时间：
2009-01-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Samer, Marko;Szeider, Stefan
通讯作者：
Szeider, Stefan