by Friedrich Slivovsky, Stefan Szeider
Reference:
A Faster Algorithm for Propositional Model Counting Parameterized by Incidence TreewidthFriedrich Slivovsky, Stefan Szeider2020, Technical report AC-TR-20-006, Algorithms and Complexity Group, TU Wien.
Bibtex Entry:
@TechReport{SlivovskySzeider20tr,
author = {Friedrich Slivovsky and Stefan Szeider},
title = {A Faster Algorithm for Propositional Model Counting
Parameterized by Incidence Treewidth},
institution = {Algorithms and Complexity Group, TU Wien},
year = {2020},
number = {AC-TR-20-006},
url = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-006.pdf},
}