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 of work has identified domain-liftable fragments …