7 citations · 27 across the 17 of their papers we have counts for
1 paper · 1 filter
Kuldeep S. Meel, S. Akshay
Given a CNF formula F on n variables, the problem of model counting or #SAT is to compute the number of satisfying assignments of F . Model counting is a fundamental but hard probl…