17 citations · 38 across the 9 of their papers we have counts for
1 paper · 1 filter
Rehan Abdul Aziz, Geoffrey Chu, Christian Muise +1
Model counting is the task of computing the number of assignments to variables V that satisfy a given propositional theory F. Model counting is an essential tool in probabilistic r…