Lai, Y., Meel, K. S., & Yap, R. H. (2023). Fast Converging Anytime Model Counting. Proceedings of the AAAI Conference on Artificial Intelligence, 37(4), 4025–4034. https://doi.org/10.1609/aaai.v37i4.25517