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: P
Number of items: 1.

P

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 Wed Aug 20 16:48:09 2014 CEST.