Maximum Satisfiability Formulations for Nonlinear Integer Programming
Uloženo v:
| Název: | Maximum Satisfiability Formulations for Nonlinear Integer Programming |
|---|---|
| Autoři: | Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki, Chu-Min Li, Jialu Zhang |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783032045898 |
| Informace o vydavateli: | Springer Nature Switzerland, 2025. |
| Rok vydání: | 2025 |
| Druh dokumentu: | Part of book or chapter of book |
| Jazyk: | English |
| DOI: | 10.1007/978-3-032-04590-4_14 |
| Rights: | Springer Nature TDM |
| Přístupové číslo: | edsair.doi...........ce5ab2b51e56243b3b342d373be4f52a |
| Databáze: | OpenAIRE |
Nájsť tento článok vo Web of Science Buďte první, kdo okomentuje tento záznam!