麻豆国产

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