TY  - RPRT
TI  - Towards Practical First-Order Model Counting
AU  - Ananth K. Kidambi
AU  - Guramrit Singh
AU  - Paulius Dilkas
AU  - Kuldeep S. Meel
PY  - 2025
UR  - https://arxiv.org/abs/2502.12278
ID  - 2502.12278
ER  -