The Seventh QBF Solvers Evaluation (QBFEVAL’10) / Peschiera, C.; Pulina, Luca; Tacchella, A.; Bubeck, U.; Kullmann, O.; Lynce, I.. - 6175:(2010), pp. 237-250. (Intervento presentato al convegno SAT 2010 tenutosi a Edinburgh (UK) nel 11-14/7/2010) [10.1007/978-3-642-14186-7_20].

The Seventh QBF Solvers Evaluation (QBFEVAL’10)

PULINA, Luca;
2010-01-01

2010
978-3-642-14185-0
The Seventh QBF Solvers Evaluation (QBFEVAL’10) / Peschiera, C.; Pulina, Luca; Tacchella, A.; Bubeck, U.; Kullmann, O.; Lynce, I.. - 6175:(2010), pp. 237-250. (Intervento presentato al convegno SAT 2010 tenutosi a Edinburgh (UK) nel 11-14/7/2010) [10.1007/978-3-642-14186-7_20].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11388/72647
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 30
  • ???jsp.display-item.citation.isi??? 13
social impact