Lai Y, Meel KS, Yap RH. Fast Converging Anytime Model Counting. AAAI [Internet]. 2023 Jun. 26 [cited 2026 May 27];37(4):4025-34. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/25517