Dilkas P., Belle V. Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. KR 2023.
For the implementation, see https://github.com/dilkas/crane.
dilkas/kr23-db
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
