@article{DBLP:journals/corr/abs-1805-08456,
  author    = {Michael Lampis and
               Stefan Mengel and
               Valia Mitsou},
  title     = {{QBF} as an Alternative to Courcelle's Theorem},
  journal   = {CoRR},
  volume    = {abs/1805.08456},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.08456},
  archivePrefix = {arXiv},
  eprint    = {1805.08456},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1805-08456},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"boq8t22fsFEkBkicf","bibbaseid":"lampis-mengel-mitsou-qbfasanalternativetocourcellestheorem-2018","downloads":0,"creationDate":"2018-09-04T15:19:07.995Z","title":"QBF as an Alternative to Courcelle's Theorem","author_short":["Lampis, M.","Mengel, S.","Mitsou, V."],"year":2018,"bibtype":"article","biburl":"https://dblp.org/pers/tb2/m/Mengel:Stefan.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Lampis"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Mengel"],"suffixes":[]},{"firstnames":["Valia"],"propositions":[],"lastnames":["Mitsou"],"suffixes":[]}],"title":"QBF as an Alternative to Courcelle's Theorem","journal":"CoRR","volume":"abs/1805.08456","year":"2018","url":"http://arxiv.org/abs/1805.08456","archiveprefix":"arXiv","eprint":"1805.08456","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/corr/abs-1805-08456","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1805-08456,\n author = {Michael Lampis and\n Stefan Mengel and\n Valia Mitsou},\n title = {{QBF} as an Alternative to Courcelle's Theorem},\n journal = {CoRR},\n volume = {abs/1805.08456},\n year = {2018},\n url = {http://arxiv.org/abs/1805.08456},\n archivePrefix = {arXiv},\n eprint = {1805.08456},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/corr/abs-1805-08456},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Lampis, M.","Mengel, S.","Mitsou, V."],"key":"DBLP:journals/corr/abs-1805-08456","id":"DBLP:journals/corr/abs-1805-08456","bibbaseid":"lampis-mengel-mitsou-qbfasanalternativetocourcellestheorem-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1805.08456"},"downloads":0},"search_terms":["qbf","alternative","courcelle","theorem","lampis","mengel","mitsou"],"keywords":[],"authorIDs":[],"dataSources":["CsDvMEzAnTqurnAbX"]}