The Seventh QBF Solvers Evaluation (QBFEVAL'10)

Abstract 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 experimental setup, from the criteria used to select QBF instances to the evaluation 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.

Authors

• Claudia Peschiera
• Luca Pulina
• Armando Tacchella
• Uwe Bubeck
• Oliver Kullmann
• Inês Lynce

Keywords

No keywords are indexed for this paper.