most citedOn Exact Sampling in the Two-Variable Fragment of First-Order Logic

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

collaborators

1 paper

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…