...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Artificial intelligence >The 2016 and 2017 QBF solvers evaluations (Q.BFEVAL'16 and QBFEVAL'17)
【24h】

The 2016 and 2017 QBF solvers evaluations (Q.BFEVAL'16 and QBFEVAL'17)

机译：2016年和2017年QBF求助者评估（Q.BFeval'16和QBFeval'17）

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

After a break of about five years, in 2016 the classical QBFEVAL has been revived. QBFEVAL is a competitive evaluation of solvers for quantified Boolean formulas (QBF), the extension of propositional formulas with existential and universal quantifiers over the propositional variables. Due to the enormous interest in QBFEVAL'16, more recently, QBFEVAL'17 was organized.Both competitions were affiliated to the respective editions of the International Conference on Theory and Applications of Satisfiability Testing (SAT'16 and SAT'17), the major conference in research on SAT and related areas.In this paper we report about the 2016 and 2017 competitive evaluations of QBF solvers (QBFEVAL'16 and QBFEVAL'17), the two most recent events in a series of competitions established with the aim of assessing the advancements in reasoning about QBFs. This report gives an overview of the setup of these two events, on their participants and on the results of the experiments that were performed for evaluating the participating systems. (C) 2019 Elsevier B.V. All rights reserved.
机译：在休息大约五年后，在2016年，古典QBFeval已被恢复。 QBFeval是对量化布尔公式（QBF）的溶剂的竞争评价，突出公式的突出公式在命题变量上与存在的载体和普通量词。由于对QBFeval'16的巨大兴趣，最近，QBFeval'17是组织的。竞争是隶属于国际理论和可满足测试的理论和应用程序（SAT'16和SAT'17）的各自版本的各自版本SAT和相关领域的研究会议。本文向2016年和2017年QBF求解器（QBFeval'16和QBFeval'17）的竞争评估报告了一系列竞争中的两项竞争中的两项竞争评估QBFS推理的进步。本报告概述了这两种事件的设置，参与者和对评估参与系统进行的实验结果的结果。 （c）2019 Elsevier B.v.保留所有权利。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号