Fast Converging Anytime Model Counting. - Lai, Yong; Meel, Kuldeep S.; Yap, Roland H. C. (2023)