2022 Computational Mixed-Integer Nonlinear Optimization Timo Berthold TU Berlin, 2022 Habilitationsschrift