Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows
Titel:
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows
Auteur:
Marin, Paolo Narizzano, Massimo Pulina, Luca Tacchella, Armando Giunchiglia, Enrico Bistarelli, Stefano Formisano, Andrea Maratea, Marco Torroni, Paolo