Claudia Peschiera

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Claudia Peschiera, Luca Pulina, Armando Tacchella
Designing a solver competition: the QBFEVAL'10 case study. EMSQMS@IJCAR (2010)
Claudia Peschiera, Luca Pulina, Armando Tacchella, Uwe Bubeck, Oliver Kullmann, Inês Lynce
The Seventh QBF Solvers Evaluation (QBFEVAL'10). SAT (2010)
Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella
Evaluating and certifying QBFs: A comparison of state-of-the-art tools. AI Commun. 22 (4) (2009)