Zhang, J., Li, C., Cherif, S., Li, S., & Zheng, Z. (2025). Integer Linear Programming Preprocessing for Maximum Satisfiability.
Style de citation Chicago (17e éd.)Zhang, Jialu, Chu-Min Li, Sami Cherif, Shuolin Li, et Zhifei Zheng. Integer Linear Programming Preprocessing for Maximum Satisfiability. 2025.
Style de citation MLA (9e éd.)Zhang, Jialu, et al. Integer Linear Programming Preprocessing for Maximum Satisfiability. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.