Zhang, J., Li, C., Cherif, S., Li, S., & Zheng, Z. (2025). Integer Linear Programming Preprocessing for Maximum Satisfiability. 2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI), Tools with Artificial Intelligence (ICTAI), 2025 IEEE 37th International Conference on, ICTAI, 408. https://doi.org/10.1109/ICTAI66417.2025.00061
Παραπομπή σε μορφή Chicago (17η εκδ.)Zhang, Jialu, Chu-Min Li, Sami Cherif, Shuolin Li, και Zhifei Zheng. "Integer Linear Programming Preprocessing for Maximum Satisfiability." 2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI), Tools with Artificial Intelligence (ICTAI), 2025 IEEE 37th International Conference on, ICTAI 2025: 408. https://doi.org/10.1109/ICTAI66417.2025.00061.
Παραπομπή σε μορφή MLA (9th εκδ.)Zhang, Jialu, et al. "Integer Linear Programming Preprocessing for Maximum Satisfiability." 2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI), Tools with Artificial Intelligence (ICTAI), 2025 IEEE 37th International Conference on, ICTAI, 2025, p. 408, https://doi.org/10.1109/ICTAI66417.2025.00061.