MSR CORE's Optimization Toolkit - Menache, Ishai; Molinaro, Marco (Microsoft, 2023)
In this document we provide an overview of the optimization tools that have been central in our research.