Lei, J., Takisaka, T., Peng, J., & Xiao, M. (2025). Systematic Parameter Decision in Approximate Model Counting.
Chicago Style (17th ed.) CitationLei, Jinping, Toru Takisaka, Junqiang Peng, and Mingyu Xiao. Systematic Parameter Decision in Approximate Model Counting. 2025.
MLA (9th ed.) CitationLei, Jinping, et al. Systematic Parameter Decision in Approximate Model Counting. 2025.
Warning: These citations may not always be 100% accurate.