235 citations · 865 across the 103 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…