Zhang, J., Li, C., Cherif, S., Li, S., & Zheng, Z. (2025). Integer Linear Programming Preprocessing for Maximum Satisfiability.
Citazione stile Chigago Style (17a edizione)Zhang, Jialu, Chu-Min Li, Sami Cherif, Shuolin Li, e Zhifei Zheng. Integer Linear Programming Preprocessing for Maximum Satisfiability. 2025.
Citatione MLA (9a ed.)Zhang, Jialu, et al. Integer Linear Programming Preprocessing for Maximum Satisfiability. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.