Adaptive Hashing for Model Counting. - Jonathan Kuck; Tri Dao; Shenjia Zhao; Burak Bartan; Ashish Sabharwal; Stefano Ermon (UAI, 2019)