Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2306.04189
Cited By
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures
7 June 2023
Paulius Dilkas
Vaishak Belle
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures"
1 / 1 papers shown
Title
Towards Practical First-Order Model Counting
Ananth K. Kidambi
Guramrit Singh
Paulius Dilkas
Kuldeep S. Meel
LRM
35
0
0
17 Feb 2025
1