K. S. Meel, S. Chakraborty, and S. Akshay, “Auditable Algorithms for Approximate Model Counting”, AAAI, vol. 38, no. 9, pp. 10654-10661, Mar. 2024.