Verified Optimization of Mixed-Integer Programs without Numerical Errors

Veranstaltungsbeitrag › Keynote / Plenarvortrag › 2023

Veranstaltung

Mathematical Issues in Information Sciences (MIIS 2023)
Shenzhen, China, 18.12.2023

Homepage

http://sribd.cn/MIIS2023/index.html