Designing a solver competition: the QBFEVAL'10 case study
Keyword(s):
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 evaluation setup, from the criteria used to select QBF instances down to the hardware 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.
2018 ◽
Vol 32
◽
pp. 155-166
◽
Keyword(s):
2021 ◽
Vol 9
◽
pp. 1061-1080
2016 ◽
Vol 78
(10)
◽
pp. 2091-2134
◽
Keyword(s):
Keyword(s):
2021 ◽
Vol 108
◽
pp. 103309
Keyword(s):