80 citations · 153 across the 15 of their papers we have counts for
1 paper · 2 filters
Fabrizio Riguzzi
In Weighted Model Counting (WMC) we assign weights to Boolean literals and we want to compute the sum of the weights of the models of a Boolean function where the weight of a model…