Scalable Algorithms for Approximate DNF Model Counting [TOP LAB](arxiv.org)
|paper|arXiv
Model counting of Disjunctive Normal Form (DNF) formulas is a critical problem in applications such as probabilistic inference and network reliability. For example, it is often used for query evaluati...