{"_id":"dFqn6dmvzaFCLtELY","bibbaseid":"braultbaron-capelli-mengel-understandingmodelcountingforbetaacycliccnfformulas-2015","downloads":0,"creationDate":"2018-09-04T15:19:08.022Z","title":"Understanding Model Counting for beta-acyclic CNF-formulas","author_short":["Brault-Baron, J.","Capelli, F.","Mengel, S."],"year":2015,"bibtype":"inproceedings","biburl":"https://dblp.org/pers/tb2/m/Mengel:Stefan.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Johann"],"propositions":[],"lastnames":["Brault-Baron"],"suffixes":[]},{"firstnames":["Florent"],"propositions":[],"lastnames":["Capelli"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Mengel"],"suffixes":[]}],"title":"Understanding Model Counting for beta-acyclic CNF-formulas","booktitle":"32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany","pages":"143–156","year":"2015","crossref":"DBLP:conf/stacs/2015","url":"https://doi.org/10.4230/LIPIcs.STACS.2015.143","doi":"10.4230/LIPIcs.STACS.2015.143","timestamp":"Thu, 23 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/stacs/Brault-BaronCM15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/stacs/Brault-BaronCM15,\n author = {Johann Brault{-}Baron and\n Florent Capelli and\n Stefan Mengel},\n title = {Understanding Model Counting for beta-acyclic CNF-formulas},\n booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science,\n {STACS} 2015, March 4-7, 2015, Garching, Germany},\n pages = {143--156},\n year = {2015},\n crossref = {DBLP:conf/stacs/2015},\n url = {https://doi.org/10.4230/LIPIcs.STACS.2015.143},\n doi = {10.4230/LIPIcs.STACS.2015.143},\n timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/stacs/Brault-BaronCM15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Brault-Baron, J.","Capelli, F.","Mengel, S."],"key":"DBLP:conf/stacs/Brault-BaronCM15","id":"DBLP:conf/stacs/Brault-BaronCM15","bibbaseid":"braultbaron-capelli-mengel-understandingmodelcountingforbetaacycliccnfformulas-2015","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.STACS.2015.143"},"downloads":0},"search_terms":["understanding","model","counting","beta","acyclic","cnf","formulas","brault-baron","capelli","mengel"],"keywords":[],"authorIDs":[],"dataSources":["CsDvMEzAnTqurnAbX"]}