TY  - RPRT
TI  - Fast Converging Anytime Model Counting
AU  - Yong Lai
AU  - Kuldeep S. Meel
AU  - Roland H. C. Yap
PY  - 2022
UR  - https://arxiv.org/abs/2212.09390
ID  - 2212.09390
ER  -