Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows

Articolo

Data di Pubblicazione:

2016

Citazione:

Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows / Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico. - 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

Autori di Ateneo:

PULINA Luca

Link alla scheda completa:

https://iris.uniss.it/handle/11388/168619

Pubblicato in:

FUNDAMENTA INFORMATICAE

Journal