2 citations · 4 across the 8 of their papers we have counts for
1 paper · 1 filter
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…