Bibliographic Details
| Title: |
Integer Linear Programming Preprocessing for Maximum Satisfiability |
| Authors: |
Zhang, Jialu, Li, Chu-Min, Cherif, Sami, Li, Shuolin, Zheng, Zhifei |
| Source: |
2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2025 IEEE 37th International Conference on. :408-414 Nov, 2025 |
| Relation: |
2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI) |
| Database: |
IEEE Xplore Digital Library |