Towards Practical First-Order Model Counting. - Ananth K. Kidambi; Guramrit Singh; Paulius Dilkas; Kuldeep S. Meel (SAT, 2025)