Mixed-integer Nonlinear Optimization: A Hatchery for Modern Mathematics | Synapse