https://github.com/ermongroup/adaptive_hashing
https://github.com/ermongroup/adaptive_hashing
Last synced: 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/ermongroup/adaptive_hashing
- Owner: ermongroup
- License: mit
- Created: 2019-03-10T19:48:01.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-06-13T07:54:56.000Z (over 5 years ago)
- Last Synced: 2025-01-18T20:59:10.614Z (9 months ago)
- Language: Python
- Size: 788 KB
- Stars: 0
- Watchers: 6
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
This code accompanies the paper
[__Adaptive Hashing for Model Counting__](http://auai.org/uai2019/proceedings/papers/86.pdf)
Jonathan Kuck, Tri Dao, Shenjia Zhao, Burak Bartan, Ashish Sabharwal, Stefano Ermon
Uncertainty in Artificial Intelligence (UAI), 2019
Code based on https://github.com/ptheod/F2