1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Fabrizio Riguzzi
We consider the problems of weighted constrained sampling and weighted model counting, where we are given a propositional formula and a weight for each world. The first problem con…