...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal on Satisfiability, Boolean Modeling and Computation >Report of the Third QBF Solvers Evaluation
【24h】

Report of the Third QBF Solvers Evaluation

机译：QBF解决方案第三次评估报告

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper reports about the 2005 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the third in a series of non-competitive events established with the aim of assessing the advancements in the field of QBF reasoning and related research. We evaluated thirteen solvers on a test set of more than three thousands QBFs, selected from instances submitted to the evaluation and from those available at www.qbflib.org. In the paper we present the evaluation infrastructure, from the criteria used to assemble the test set to the hardware set up, and we show different views about the results obtained, highlighting the strength of different solvers and the relative hardness of the instances included in the test set.
机译：本文报告了2005年量化布尔公式（QBF）求解器的比较评估，这是一系列非竞争性事件中的第三个，旨在评估QBF推理和相关研究领域的进步。我们在超过三千个QBF的测试集中评估了13个求解器，这些QBF是从提交给评估的实例以及从www.qbflib.org可用的实例中选择的。在本文中，我们介绍了评估基础结构，从用于组装测试集的标准到硬件设置，我们对获得的结果表示了不同的看法，强调了不同求解器的强度以及实例中包含的实例的相对硬度。测试集。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号