Adaptive Hashing for Model Counting

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]

Abstract

Abstract is missing.