@misc{indiciae5577d7c1cf8a,
  title = {Scalable Algorithms for Approximate DNF Model Counting},
  author = {Paul Burkhardt and David G. Harris and Kevin T Schmitt},
  year = {2026},
  url = {https://arxiv.org/abs/2601.10511},
  note = {Source identifier: 2601.10511}
}