Evaluating and certifying QBFs: A comparison of state-of-the-art tools. - Massimo Narizzano; Claudia Peschiera; Luca Pulina; Armando Tacchella (AI Commun., 2009)

Designing a solver competition: the QBFEVAL'10 case study. - Claudia Peschiera; Luca Pulina; Armando Tacchella (EMSQMS@IJCAR, 2010)

The Seventh QBF Solvers Evaluation (QBFEVAL'10). - Claudia Peschiera; Luca Pulina; Armando Tacchella; Uwe Bubeck; Oliver Kullmann; Inês Lynce (SAT, 2010)