@misc{indiciaed6c2b5a1e6be,
  title = {Engineering an Efficient Approximate DNF-Counter},
  author = {Mate Soos and Uddalok Sarkar and Divesh Aggarwal and Sourav Chakraborty and Kuldeep S. Meel and Maciej Obremski},
  year = {2024},
  url = {https://arxiv.org/abs/2407.19946},
  note = {Source identifier: 2407.19946}
}