IRIS

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].

The Seventh QBF Solvers Evaluation (QBFEVAL’10)

PULINA, Luca;
2010-01-01
2010
Inglese
Thirteenth International Conference on Theory and Applications of Satisfiability Testing
Contributo
SAT 2010
6175
237
250
14
978-3-642-14185-0
Springer
BERLIN
Esperti anonimi
11-14/7/2010
Edinburgh (UK)
Internazionale
2-s2.0-77955012255
WOS:000281446500020
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].
4 Contributo in Atti di Convegno (Proceeding)::4.1 Contributo in Atti di convegno
Peschiera, C.; Pulina, Luca; Tacchella, A.; Bubeck, U.; Kullmann, O.; Lynce, I.
273
6
none
info:eu-repo/semantics/conferenceObject
4.1 Contributo in Atti di convegno
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