Scalable Algorithms for Approximate DNF Model Counting. - Paul Burkhardt; David G. Harris 001; Kevin T. Schmitt (CoRR, 2026)