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 |
| ISBN: | 9798331559564 9798331559571 |
|---|---|
| ISSN: | 23782226 0195623X |
| DOI: | 10.1109/ISMVL68998.2026.00013 |