1 citations · 2 across the 11 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…
cs.AI2023★ 1 cited
On Exact Sampling in the Two-Variable Fragment of First-Order Logic
Yuanhong Wang, Juhua Pu, Yuyi Wang +1
In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite…