Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures

Download PDF
Open Webpage

Paulius Dilkas, Vaishak Belle

Published: 01 Jan 2023, Last Modified: 15 Jul 2025KR 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: First-order model counting (FOMC) is a computational problem that asks to count the models of a sentence in finite-domain first-order logic. In this paper, we argue that the capabilities of FOMC al...