titoli, abstracts, parole chiave >>>
Browse by Journal
Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Date | Creators
Jump to: 2012
Number of items: 1.


Peschiera, 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.

This list was generated on Thu Feb 25 09:27:25 2021 CET.