Approximation Algorithms for Facility Location with Capacitated and Length-Bounded Tree Connections. - Jannik Matuschke; Andreas Bley; Benjamin Müller 002 (ESA, 2013)

On the Performance of NLP Solvers Within Global MINLP Solvers. - Benjamin Müller 002; Renke Kuhlmann; Stefan Vigerske (OR, 2017)

Exact Methods for Recursive Circle Packing. - Ambros M. Gleixner; Stephen J. Maher; Benjamin Müller 002; João Pedro Pedroso (CoRR, 2017)

Three enhancements for optimization-based bound tightening. - Ambros M. Gleixner; Timo Berthold; Benjamin Müller 002; Stefan Weltge (J. Glob. Optim., 2017)

Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition. - Ambros M. Gleixner; Stephen J. Maher; Benjamin Müller 002; João Pedro Pedroso (Ann. Oper. Res., 2020)

Using Two-Dimensional Projections for Stronger Separation and Propagation of Bilinear Terms. - Benjamin Müller 002; Felipe Serrano 001; Ambros M. Gleixner (SIAM J. Optim., 2020)

On generalized surrogate duality in mixed-integer nonlinear programming. - Benjamin Müller 002; Gonzalo Muñoz 001; Maxime Gasse; Ambros M. Gleixner; Andrea Lodi 001; Felipe Serrano 001 (Math. Program., 2022)

Enabling Research through the SCIP Optimization Suite 8.0. - Ksenia Bestuzheva; Mathieu Besançon; Weikun Chen; Antonia Chmiela; Tim Donkiewicz; Jasper van Doornmalen; Leon Eifler; Oliver Gaul; Gerald Gamrath; Ambros M. Gleixner; Leona Gottwald; Christoph Graczyk; et al. (ACM Trans. Math. Softw., 2023)

Global optimization of mixed-integer nonlinear programs with SCIP 8. - Ksenia Bestuzheva; Antonia Chmiela; Benjamin Müller 002; Felipe Serrano 001; Stefan Vigerske; Fabian Wegscheider (J. Glob. Optim., 2025)