Claudia Peschiera, Luca Pulina, Armando Tacchella. Designing a solver competition: the QBFEVAL'10 case study. In Aaron Stump, Geoff Sutcliffe, Cesare Tinelli, editors, Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010. Volume 6 of EPiC Series, pages 19-32, EasyChair, 2010. [doi]
Abstract is missing.