TY  - RPRT
TI  - Scalable Algorithms for Approximate DNF Model Counting
AU  - Paul Burkhardt
AU  - David G. Harris
AU  - Kevin T Schmitt
PY  - 2026
UR  - https://arxiv.org/abs/2601.10511
ID  - 2601.10511
ER  -