Maximum Satisfiability Formulations for Nonlinear Integer Programming

Uložené v:
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
Popis
DOI:10.1007/978-3-032-04590-4_14