@article{DBLP:journals/fuin/MarinNPTG16,
  author       = {Paolo Marin and
                  Massimo Narizzano and
                  Luca Pulina and
                  Armando Tacchella and
                  Enrico Giunchiglia},
  title        = {Twelve Years of {QBF} Evaluations: {QSAT} Is PSPACE-Hard and It Shows},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {1-2},
  pages        = {133--158},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1445},
  doi          = {10.3233/FI-2016-1445},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MarinNPTG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"FuaQ5kBMpzym8snnm","bibbaseid":"marin-narizzano-pulina-tacchella-giunchiglia-twelveyearsofqbfevaluationsqsatispspacehardanditshows-2016","authorIDs":[],"author_short":["Marin, P.","Narizzano, M.","Pulina, L.","Tacchella, A.","Giunchiglia, E."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Paolo"],"propositions":[],"lastnames":["Marin"],"suffixes":[]},{"firstnames":["Massimo"],"propositions":[],"lastnames":["Narizzano"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Pulina"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Tacchella"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Giunchiglia"],"suffixes":[]}],"title":"Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows","journal":"Fundam. Informaticae","volume":"149","number":"1-2","pages":"133–158","year":"2016","url":"https://doi.org/10.3233/FI-2016-1445","doi":"10.3233/FI-2016-1445","timestamp":"Sun, 02 Oct 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/fuin/MarinNPTG16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/fuin/MarinNPTG16,\n author = {Paolo Marin and\n Massimo Narizzano and\n Luca Pulina and\n Armando Tacchella and\n Enrico Giunchiglia},\n title = {Twelve Years of {QBF} Evaluations: {QSAT} Is PSPACE-Hard and It Shows},\n journal = {Fundam. Informaticae},\n volume = {149},\n number = {1-2},\n pages = {133--158},\n year = {2016},\n url = {https://doi.org/10.3233/FI-2016-1445},\n doi = {10.3233/FI-2016-1445},\n timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/fuin/MarinNPTG16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Marin, P.","Narizzano, M.","Pulina, L.","Tacchella, A.","Giunchiglia, E."],"key":"DBLP:journals/fuin/MarinNPTG16","id":"DBLP:journals/fuin/MarinNPTG16","bibbaseid":"marin-narizzano-pulina-tacchella-giunchiglia-twelveyearsofqbfevaluationsqsatispspacehardanditshows-2016","role":"author","urls":{"Paper":"https://doi.org/10.3233/FI-2016-1445"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/42/105.bib","creationDate":"2020-12-04T16:35:07.597Z","downloads":0,"keywords":[],"search_terms":["twelve","years","qbf","evaluations","qsat","pspace","hard","shows","marin","narizzano","pulina","tacchella","giunchiglia"],"title":"Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows","year":2016,"dataSources":["3K8QdNFi6YEcLKp3r","moyH9GA2b3eBNZr8R","dnfNFBJhCgMcJQMDG","erc2rRjg4ZK7Z5Xew"]}