TY  - RPRT
TI  - Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures
AU  - Paulius Dilkas
AU  - Vaishak Belle
PY  - 2023
UR  - https://arxiv.org/abs/2306.04189
ID  - 2306.04189
ER  -