research
∙
08/17/2023
Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
Weighted model counting (WMC) is the task of computing the weighted sum ...
share
research
∙
02/06/2023
On Exact Sampling in the Two-Variable Fragment of First-Order Logic
In this paper, we study the sampling problem for first-order logic propo...
research
∙
11/12/2017
