Model Counting for CNF Formulas of Bounded Modular Treewidth
Crossref DOI link: https://doi.org/10.1007/s00453-015-0030-x
Published Online: 2015-07-17
Published Print: 2016-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Paulusma, Daniel
Slivovsky, Friedrich
Szeider, Stefan
Funding for this research was provided by:
Engineering and Physical Sciences Research Council (EP/G043434/1)
European Research Council (239962)
Text and Data Mining valid from 2015-07-17