7 citations · 10 across the 6 of their papers we have counts for
1 paper · 1 filter
Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar +1
Given a Boolean formula ϕ over n variables, the problem of model counting is to compute the number of solutions of ϕ. Model counting is a fundamental problem in computer scie…