2 papers
cs.CC2023
Solving Projected Model Counting by Utilizing Treewidth and its Limits
Johannes K. Fichte, Markus Hecher, Michael Morak +2
In this paper, we introduce a novel algorithm to solve projected model counting (PMC). PMC asks to count solutions of a Boolean formula with respect to a given set of projection va…
cs.AI2020
Exploiting Database Management Systems and Treewidth for Counting
Johannes K. Fichte, Markus Hecher, Patrick Thier +1
Bounded treewidth is one of the most cited combinatorial invariants, which was applied in the literature for solving several counting problems efficiently. A canonical counting pro…