Cita APA (7a ed.)

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.

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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