Claudia Peschiera

According to our database, Claudia Peschiera authored at least 3 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

The Seventh QBF Solvers Evaluation (QBFEVAL'10).

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

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

Designing a solver competition: the QBFEVAL'10 case study.

Claudia Peschiera, Luca Pulina, Armando Tacchella

Proceedings of the Workshop on Evaluation Methods for Solvers, 2010

2009

Evaluating and certifying QBFs: A comparison of state-of-the-art tools.

Massimo Narizzano, Claudia Peschiera, Luca Pulina, Armando Tacchella

AI Commun., 2009