Y. Lai, K. S. Meel, and R. H. Yap, “Fast Converging Anytime Model Counting”, AAAI, vol. 37, no. 4, pp. 4025–4034, Jun. 2023.