The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
Artificial Intelligence(2019)
摘要
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.
更多查看译文
关键词
Quantified Boolean formulas,QBF competition,QBF solving
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络