On Hashing-Based Approaches to Approximate DNF-Counting

Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi

Propositional model counting is a fundamental problem in artificial intelligence with a wide variety of applications, such as probabilistic inference, decision making under uncerta…