Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
Integer Linear Programming Preprocessing for Maximum Satisfiability |
| Συγγραφείς: |
Zhang, Jialu, Li, Chu-Min, Cherif, Sami, Li, Shuolin, Zheng, Zhifei |
| Πηγή: |
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) |
| Βάση Δεδομένων: |
IEEE Xplore Digital Library |