Yuanhong Wang

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

2023 · arXiv (Cornell University)

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 domain? We extend …