TY  - RPRT
TI  - Formally Certified Approximate Model Counting
AU  - Yong Kiam Tan
AU  - Jiong Yang
AU  - Mate Soos
AU  - Magnus O. Myreen
AU  - Kuldeep S. Meel
PY  - 2024
UR  - https://arxiv.org/abs/2406.11414
ID  - 2406.11414
ER  -