1 paper · 1 filter
Yong Lai, Zhenghang Xu, Minghao Yin
In Weighted Model Counting (WMC), we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment…