A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
arXiv:2605.03391v1 Announce Type: cross
Abstract: Weighted first-order model counting (WFOMC) is a central task in lifted probabilistic inference: It asks for the weighted sum of all models of a first-order sentence over a finite domain. A long line o…