@inproceedings{PaulusmaSlivovskySzeider13,
 author = {Dani{\"e}l Paulusma and Friedrich Slivovsky and
Stefan Szeider},
 booktitle = {30th International Symposium on Theoretical Aspects
of Computer Science, STACS 2013, February 27 - March
2, 2013, Kiel, Germany},
 doi = {10.4230/LIPIcs.STACS.2013.55},
 editor = {Natacha Portier and Thomas Wilke},
 pages = {55-66},
 publisher = {Leibniz-Zentrum fuer Informatik},
 series = {LIPIcs},
 title = {Model Counting for {CNF} Formulas of Bounded Modular
Treewidth},
 volume = {20},
 year = {2013}
}