The Seventh QBF Solvers Evaluation (QBFEVAL'10)
The Seventh QBF Solvers Evaluation (QBFEVAL'10)
复制标题
第七次 QBF 求解器评估 (QBFEVAL10)
DOI：
10.1007/978-3-642-14186-7_20
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
I. Lynce
中科院分区：
文献类型：
--
作者：
Claudia Peschiera;Luca Pulina;A. Tacchella;Uwe Bubeck;O. Kullmann;I. Lynce
在本文中，我们报告了QBFEVAL'10，在一系列事件中的第七个，目的是评估有关量化布尔公式的推理的进步（QBFS）。为了选择评估基础架构的QBF实例。 QBFeval’10的结果。
In this paper we report about QBFEVAL’10, the seventh in a series of events established with the aim of assessing the advancements in reasoning about quantified Boolean formulas (QBFs). The paper discusses the results obtained and the experimental setup, from the criteria used to select QBF instances to the evaluation infrastructure. We also discuss the current state-of-the-art in light of past challenges and we envision future research directions that are motivated by the results of QBFEVAL’10.