BibTeX record conf/stacs/Brault-BaronCM15

download as .bib file

@inproceedings{DBLP:conf/stacs/Brault-BaronCM15,
  author    = {Johann Brault{-}Baron and
               Florent Capelli and
               Stefan Mengel},
  title     = {Understanding Model Counting for beta-acyclic CNF-formulas},
  booktitle = {{STACS}},
  series    = {LIPIcs},
  volume    = {30},
  pages     = {143--156},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2015}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics