Towards Practical First-Order Model Counting

Ananth K. Kidambi, Guramrit Singh, Paulius Dilkas +1

First-order model counting (FOMC) is the problem of counting the number of models of a sentence in first-order logic. Since lifted inference techniques rely on reductions to varian…