Meel, K. S.; Chakraborty, S.; Akshay, S. Auditable Algorithms for Approximate Model Counting. AAAI 2024, 38, 10654-10661.