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.) CitationZhang, 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.) CitationZhang, Mingwei, et al. An Exhaustive DPLL Approach to Model Counting over Integer Linear Constraints with Simplification Techniques. 2025.
Warning: These citations may not always be 100% accurate.