Data di Pubblicazione:
2010
Citazione:
The Seventh QBF Solvers Evaluation (QBFEVAL’10) / Peschiera, C.; Pulina, Luca; Tacchella, A.; Bubeck, U.; Kullmann, O.; Lynce, I.. - 6175:(2010), pp. 237-250. ( SAT 2010 Edinburgh (UK) 11-14/7/2010) [10.1007/978-3-642-14186-7_20].
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Elenco autori:
Peschiera, C.; Pulina, Luca; Tacchella, A.; Bubeck, U.; Kullmann, O.; Lynce, I.
Link alla scheda completa:
Titolo del libro:
Thirteenth International Conference on Theory and Applications of Satisfiability Testing
Pubblicato in: