Conference
Integer Linear Programming Preprocessing for Maximum Satisfiability
| Τίτλος: | 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 |
καταχωρήστε σχόλιο πρώτοι!