Meel, K. S., Chakraborty, S., & Akshay, S. (2024). Auditable Algorithms for Approximate Model Counting. Proceedings of the AAAI Conference on Artificial Intelligence, 38(9), 10654-10661. https://doi.org/10.1609/aaai.v38i9.28936