most citedLifted Algorithms for Symmetric Weighted First-Order Model Sampling

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.AI2023★ 1 cited

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling

Yuanhong Wang, Juhua Pu, Yuyi Wang +1

Weighted model counting (WMC) is the task of computing the weighted sum of all satisfying assignments (i.e., models) of a propositional formula. Similarly, weighted model sampling…