Keyword:QBF competition

Publications
Designing a solver competition: the QBFEVAL'10 case study Claudia Peschiera, Luca Pulina and Armando Tacchella In:EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions