APA (7th ed.) Citation

Zhang, M., Gu, Z., Fang, L., Ge, C., Chen, Z., Lai, Z., & Guan, Q. (2025). An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques.

Chicago Style (17th ed.) Citation

Zhang, Mingwei, Zhenhao Gu, Liangda Fang, Cunjing Ge, Ziliang Chen, Zhao-Rong Lai, and Quanlong Guan. An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques. 2025.

MLA (9th ed.) Citation

Zhang, Mingwei, et al. An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques. 2025.