titoli, abstracts, parole chiave >>>
Browse by Author
Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 1.

Peschiera, Claudia and Pulina, Luca and Tacchella, Armando and Bubeck, Uwe and Kullmann, Oliver and Lynce, Inês (2010) The Seventh QBF solvers evaluation (QBFEVAL’10). In: Theory and Applications of Satisfiability Testing: 13th International Conference, SAT 2010, 11-14 July 2010, Edinburgh, United Kingdom. Berlin - Heidelberg, Springer. p. 237-250. (Lecture Notes in Computer Science, 6175/2010). ISBN 978-3-642-14185-0. Conference or Workshop Item.

This list was generated on Tue Dec 10 15:25:47 2019 CET.