%0 Journal Article %1 journals/fuin/MarinNPTG16 %A Marin, Paolo %A Narizzano, Massimo %A Pulina, Luca %A Tacchella, Armando %A Giunchiglia, Enrico %D 2016 %J Fundam. Inform. %K dblp %N 1-2 %P 133-158 %T Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. %U http://dblp.uni-trier.de/db/journals/fuin/fuin149.html#MarinNPTG16 %V 149

@article{journals/fuin/MarinNPTG16, added-at = {2019-06-02T00:00:00.000+0200}, author = {Marin, Paolo and Narizzano, Massimo and Pulina, Luca and Tacchella, Armando and Giunchiglia, Enrico}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22e00c17406dd12545572d4cc5cf56fc2/dblp}, ee = {https://www.wikidata.org/entity/Q62040536}, interhash = {45e3d06a10521488c381f2fa586ac5d0}, intrahash = {2e00c17406dd12545572d4cc5cf56fc2}, journal = {Fundam. Inform.}, keywords = {dblp}, number = {1-2}, pages = {133-158}, timestamp = {2019-09-27T06:01:49.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 }