APA (7th ed.) Citation

Yang, S., Lai, Y., & Meel, K. S. (2025). On Top-Down Pseudo-Boolean Model Counting.

Chicago Style (17th ed.) Citation

Yang, Suwei, Yong Lai, and Kuldeep S. Meel. On Top-Down Pseudo-Boolean Model Counting. 2025.

MLA (9th ed.) Citation

Yang, Suwei, et al. On Top-Down Pseudo-Boolean Model Counting. 2025.