Conference
Reducing Signed SAT to Mixed Integer Linear Programming
| Τίτλος: | Reducing Signed SAT to Mixed Integer Linear Programming |
|---|---|
| Συγγραφείς: | Yangin, Elifnaz |
| Πηγή: | 2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL) ISMVL Multiple-Valued Logic (ISMVL), 2026 IEEE 56th International Symposium on. :264-269 May, 2026 |
| Relation: | 2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!