Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Marin, P., Narizzano, M., Pulina, L., Tacchella, A., & Giunchiglia, E. Fundam. Informaticae, 149(1-2):133-158, 2016.
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. [link]Link  Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. [link]Paper  bibtex   
@article{journals/fuin/MarinNPTG16,
  added-at = {2020-09-18T00:00:00.000+0200},
  author = {Marin, Paolo and Narizzano, Massimo and Pulina, Luca and Tacchella, Armando and Giunchiglia, Enrico},
  biburl = {https://www.bibsonomy.org/bibtex/2836376c879d4ad4e4c4ccf97e3e99d16/dblp},
  ee = {https://www.wikidata.org/entity/Q62040536},
  interhash = {45e3d06a10521488c381f2fa586ac5d0},
  intrahash = {836376c879d4ad4e4c4ccf97e3e99d16},
  journal = {Fundam. Informaticae},
  keywords = {dblp},
  number = {1-2},
  pages = {133-158},
  timestamp = {2020-09-19T11:38:13.000+0200},
  title = {Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows.},
  url = {http://dblp.uni-trier.de/db/journals/fuin/fuin149.html#MarinNPTG16},
  volume = 149,
  year = 2016
}
Downloads: 0