APA (7th ed.) Citation

Lei, J., Takisaka, T., Peng, J., & Xiao, M. (2025). Systematic Parameter Decision in Approximate Model Counting.

Chicago Style (17th ed.) Citation

Lei, Jinping, Toru Takisaka, Junqiang Peng, and Mingyu Xiao. Systematic Parameter Decision in Approximate Model Counting. 2025.

MLA (9th ed.) Citation

Lei, Jinping, et al. Systematic Parameter Decision in Approximate Model Counting. 2025.