An open API service indexing awesome lists of open source software.

https://github.com/ermongroup/adaptive_hashing


https://github.com/ermongroup/adaptive_hashing

Last synced: about 2 months ago
JSON representation

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