@inproceedings{DBLP:conf/sat/BovaCMS15,
  author    = {Simone Bova and
               Florent Capelli and
               Stefan Mengel and
               Friedrich Slivovsky},
  title     = {On Compiling CNFs into Structured Deterministic DNNFs},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
               International Conference, Austin, TX, USA, September 24-27, 2015,
               Proceedings},
  pages     = {199--214},
  year      = {2015},
  crossref  = {DBLP:conf/sat/2015},
  url       = {https://doi.org/10.1007/978-3-319-24318-4\_15},
  doi       = {10.1007/978-3-319-24318-4\_15},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sat/BovaCMS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"HewBhN2hitTAoDeZS","bibbaseid":"bova-capelli-mengel-slivovsky-oncompilingcnfsintostructureddeterministicdnnfs-2015","downloads":0,"creationDate":"2016-02-23T05:01:46.160Z","title":"On Compiling CNFs into Structured Deterministic DNNFs","author_short":["Bova, S.","Capelli, F.","Mengel, S.","Slivovsky, F."],"year":2015,"bibtype":"inproceedings","biburl":"https://dblp.org/pers/tb2/m/Mengel:Stefan.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Simone"],"propositions":[],"lastnames":["Bova"],"suffixes":[]},{"firstnames":["Florent"],"propositions":[],"lastnames":["Capelli"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Mengel"],"suffixes":[]},{"firstnames":["Friedrich"],"propositions":[],"lastnames":["Slivovsky"],"suffixes":[]}],"title":"On Compiling CNFs into Structured Deterministic DNNFs","booktitle":"Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings","pages":"199–214","year":"2015","crossref":"DBLP:conf/sat/2015","url":"https://doi.org/10.1007/978-3-319-24318-4_15","doi":"10.1007/978-3-319-24318-4_15","timestamp":"Tue, 23 May 2017 01:08:19 +0200","biburl":"https://dblp.org/rec/bib/conf/sat/BovaCMS15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sat/BovaCMS15,\n author = {Simone Bova and\n Florent Capelli and\n Stefan Mengel and\n Friedrich Slivovsky},\n title = {On Compiling CNFs into Structured Deterministic DNNFs},\n booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th\n International Conference, Austin, TX, USA, September 24-27, 2015,\n Proceedings},\n pages = {199--214},\n year = {2015},\n crossref = {DBLP:conf/sat/2015},\n url = {https://doi.org/10.1007/978-3-319-24318-4\\_15},\n doi = {10.1007/978-3-319-24318-4\\_15},\n timestamp = {Tue, 23 May 2017 01:08:19 +0200},\n biburl = {https://dblp.org/rec/bib/conf/sat/BovaCMS15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bova, S.","Capelli, F.","Mengel, S.","Slivovsky, F."],"key":"DBLP:conf/sat/BovaCMS15","id":"DBLP:conf/sat/BovaCMS15","bibbaseid":"bova-capelli-mengel-slivovsky-oncompilingcnfsintostructureddeterministicdnnfs-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-24318-4_15"},"downloads":0},"search_terms":["compiling","cnfs","structured","deterministic","dnnfs","bova","capelli","mengel","slivovsky"],"keywords":["dblp"],"authorIDs":[],"dataSources":["CsDvMEzAnTqurnAbX"]}