Lai, Y.; Meel, K. S.; Yap, R. H. Fast Converging Anytime Model Counting. AAAI 2023, 37, 4025-4034.