The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and 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.

论文关键词：Quantified Boolean formulas,QBF competition,QBF solving

论文评审过程：Received 6 April 2018, Revised 21 February 2019, Accepted 8 April 2019, Available online 11 April 2019, Version of Record 17 April 2019.

论文官网地址：https://doi.org/10.1016/j.artint.2019.04.002