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

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

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.LO2024

Bridging Weighted First Order Model Counting and Graph Polynomials

Qipeng Kuang, Ondřej Kuželka, Yuanhong Wang +1

The Weighted First-Order Model Counting Problem (WFOMC) asks to compute the weighted sum of models of a given first-order logic sentence over a given domain. It can be solved in ti…