79 citations · 95 across the 6 of their papers we have counts for
1 paper · 2 filters
Marc Thurley
We present a simple randomized algorithm that approximates the number of satisfying assignments of Boolean formulas in conjunctive normal form. To the best of our knowledge this is…