82 citations · 369 across the 63 of their papers we have counts for
1 paper · 2 filters
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel +2
Given a CNF formula and a weight for each assignment of values to variables, two natural problems are weighted model counting and distribution-aware sampling of satisfying assignme…