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

Paulius Dilkas, Vaishak Belle

Browse the full KR paper archive.