![[it]](http://eprints.uniss.it/style/images/flag_italy.png){kind=small}
Browse by Journal
Group by: Date | Creators Jump to: P Number of items: 1.
PPeschiera, Claudia and Pulina, Luca and Tacchella, Armando (2012) Designing a solver competition: the QBFEVAL'10 case study. In: EMSQMS 2010: 1. International Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, 20 July 2010, Edinburgh, UK. [S.l.], EasyChair. p. 19-32. (EasyChair Proceedings in Computing, 6). Conference or Workshop Item. |
