Jonathan Kuck, Tri Dao, Shenjia Zhao, Burak Bartan, Ashish Sabharwal, Stefano Ermon. Adaptive Hashing for Model Counting. In Amir Globerson, Ricardo Silva, editors, Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, UAI 2019, Tel Aviv, Israel, July 22-25, 2019. pages 86, AUAI Press, 2019. [doi]
@inproceedings{KuckDZBSE19, title = {Adaptive Hashing for Model Counting}, author = {Jonathan Kuck and Tri Dao and Shenjia Zhao and Burak Bartan and Ashish Sabharwal and Stefano Ermon}, year = {2019}, url = {http://auai.org/uai2019/proceedings/papers/86.pdf}, researchr = {https://researchr.org/publication/KuckDZBSE19}, cites = {0}, citedby = {0}, pages = {86}, booktitle = {Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, UAI 2019, Tel Aviv, Israel, July 22-25, 2019}, editor = {Amir Globerson and Ricardo Silva}, publisher = {AUAI Press}, }