@misc{indiciaeca2d4dba43e8,
  title = {Auditable Algorithms for Approximate Model Counting},
  author = {Kuldeep S. Meel and Supratik Chakraborty and S. Akshay},
  year = {2023},
  url = {https://arxiv.org/abs/2312.12362},
  note = {Source identifier: 2312.12362}
}