Report of the Third QBF Solvers Evaluation1
Massimo Narizzano, Luca Pulina, Armando Tacchella · Journal on Satisfiability Boolean Modeling and Computation · 2006
This paper reports about the 2005 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the third in a series of non-competitive events established with the aim of assessing the advancements in the field of QBF reasoning and relat