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.
-
Notifications
You must be signed in to change notification settings - Fork 0
dilkas/kr23-db
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published