APA (7th ed.) Citation

Yangin, E. (2026). Reducing Signed SAT to Mixed Integer Linear Programming. 2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL), Multiple-Valued Logic (ISMVL), 2026 IEEE 56th International Symposium on, ISMVL, 264. https://doi.org/10.1109/ISMVL68998.2026.00013

Chicago Style (17th ed.) Citation

Yangin, Elifnaz. "Reducing Signed SAT to Mixed Integer Linear Programming." 2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL), Multiple-Valued Logic (ISMVL), 2026 IEEE 56th International Symposium on, ISMVL 2026: 264. https://doi.org/10.1109/ISMVL68998.2026.00013.

MLA (9th ed.) Citation

Yangin, Elifnaz. "Reducing Signed SAT to Mixed Integer Linear Programming." 2026 IEEE 56th International Symposium on Multiple-Valued Logic (ISMVL), Multiple-Valued Logic (ISMVL), 2026 IEEE 56th International Symposium on, ISMVL, 2026, p. 264, https://doi.org/10.1109/ISMVL68998.2026.00013.