Podrobná bibliografia
| Názov: |
Maximum Satisfiability Formulations for Nonlinear Integer Programming |
| Autori: |
Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki, Chu-Min Li, Jialu Zhang |
| Zdroj: |
Lecture Notes in Computer Science ISBN: 9783032045898 |
| Informácie o vydavateľovi: |
Springer Nature Switzerland, 2025. |
| Rok vydania: |
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 |
| Prístupové číslo: |
edsair.doi...........ce5ab2b51e56243b3b342d373be4f52a |
| Databáza: |
OpenAIRE |