Data di Pubblicazione:
2016
Citazione:
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows / Marin, P., Narizzano, M., Pulina, L., Tacchella, A., Giunchiglia, E.. - In: FUNDAMENTA INFORMATICAE. - ISSN 0169-2968. - 149:(2016), pp. 133-158. [10.3233/FI-2016-1445]
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
Link alla scheda completa:
Pubblicato in: