Benjamin Müller

Software developer for mixed integer optimization

Zuse Institute Berlin (ZIB)

Room 3102
Takustraße 7
14195 Berlin-Dahlem

t: +49 30 84185-195
f: +49 30 84185-269
w: www.zib.de/members/benjamin.mueller

Interests and current work

My interests are the computational aspects of mixed-integer linear and especially nonlinear programming. Also, I am one of the main developers of the MINLP solver SCIP and responsible for the cooperation with Siemens that supports the development of SCIP and SoPlex with a special focus on the various applications at Siemens Corporate Technology.

Current research:

exploiting Surrogate duality for MINLPs
stronger relaxations for nonconvex quadratic constraints by utilizing linear relaxations
solving recursive circle packing problems with decomposition techniques
improving performance of MINLP solvers by using a portfolio of NLP solvers

Short Academic CV

2020	PhD in Mathematics, Technische Universität Berlin Thesis: Tighter Relaxations in Mixed-Integer Nonlinear Programming Committee: Thorsten Koch, Andrea Lodi, Marc Pfetsch
Since 10/2014	Research assistant at the Optimization Department at Zuse-Institute Berlin
2014	Master of Science in Mathematics, Technische Universität Berlin Thesis: Online Algorithms for Deadline Scheduling Problems to Minimize the Number of Machines
2011	Bachelor of Science in Mathematics, Technische Universität Berlin Thesis: Das Connected Facility Location Problem mit baumförmigen Zugangsnetzen

Publications

Here is my BibTeX file.

2020
Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano	On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming	Integer Programming and Combinatorial Optimization: 21th International Conference, IPCO 2020, 2020 (accepted for publication, preprint available as ZIB-Report 19-55)	PDF (ZIB-Report) BibTeX
Gerald Gamrath, Daniel Anderson, Ksenia Bestuzheva, Wei-Kun Chen, Leon Eifler, Maxime Gasse, Patrick Gemander, Ambros Gleixner, Leona Gottwald, Katrin Halbig, Gregor Hendel, Christopher Hojny, Thorsten Koch, Pierre Le Bodic, Stephen J. Maher, Frederic Matter, Matthias Miltenberger, Erik Mühmer, Benjamin Müller, Marc Pfetsch, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Christine Tawfik, Stefan Vigerske, Fabian Wegscheider, Dieter Weninger, Jakob Witzig	The SCIP Optimization Suite 7.0	ZIB-Report 20-10	PDF BibTeX URN
2019
Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano	On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming	ZIB-Report 19-55	PDF BibTeX URN
Benjamin Müller, Felipe Serrano, Ambros Gleixner	Using two-dimensional Projections for Stronger Separation and Propagation of Bilinear Terms	2019 (under review, preprint available as ZIB-Report 19-15)	PDF (ZIB-Report) BibTeX
2018
Benjamin Müller, Renke Kuhlmann, Stefan Vigerske	On the performance of NLP solvers within global MINLP solvers	Operations Research Proceedings 2017, pp. 633-639, 2018 (preprint available as ZIB-Report 17-35)	PDF (ZIB-Report) BibTeX DOI
Ambros Gleixner, Stephan Maher, Benjamin Müller, João Pedro Pedroso	Price-and-verify: a new algorithm for recursive circle packing using Dantzig–Wolfe decomposition	Annals of Operations Research, 2018 (epub ahead of print, preprint available as ZIB-Report 17-07)	PDF (ZIB-Report) BibTeX DOI
Ambros Gleixner, Michael Bastubbe, Leon Eifler, Tristan Gally, Gerald Gamrath, Robert Lion Gottwald, Gregor Hendel, Christopher Hojny, Thorsten Koch, Marco E. Lübbecke, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc E. Pfetsch, Christian Puchert, Daniel Rehfeldt, Franziska Schlösser, Christoph Schubert, Felipe Serrano, Yuji Shinano, Jan Merlin Viernickel, Matthias Walter, Fabian Wegscheider, Jonas T. Witt, Jakob Witzig	The SCIP Optimization Suite 6.0	ZIB-Report 18-26	PDF BibTeX URN
2017
Ambros Gleixner, Stephan Maher, Benjamin Müller, João Pedro Pedroso	Exact Methods for Recursive Circle Packing	2017 (under review, preprint available as ZIB-Report 17-07)	PDF (ZIB-Report) BibTeX
Benjamin Müller, Renke Kuhlmann, Stefan Vigerske	On the performance of NLP solvers within global MINLP solvers	2017 (under review, preprint available as ZIB-Report 17-35)	PDF (ZIB-Report) BibTeX
Stephen J. Maher, Tobias Fischer, Tristan Gally, Gerald Gamrath, Ambros Gleixner, Robert Lion Gottwald, Gregor Hendel, Thorsten Koch, Marco E. Lübbecke, Matthias Miltenberger, Benjamin Müller, Marc E. Pfetsch, Christian Puchert, Daniel Rehfeldt, Sebastian Schenker, Robert Schwarz, Felipe Serrano, Yuji Shinano, Dieter Weninger, Jonas T. Witt, Jakob Witzig	The SCIP Optimization Suite 4.0	ZIB-Report 17-12	PDF PDF BibTeX URN
2016
Gerald Gamrath, Tobias Fischer, Tristan Gally, Ambros M. Gleixner, Gregor Hendel, Thorsten Koch, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc E. Pfetsch, Christian Puchert, Daniel Rehfeldt, Sebastian Schenker, Robert Schwarz, Felipe Serrano, Yuji Shinano, Stefan Vigerske, Dieter Weninger, Michael Winkler, Jonas T. Witt, Jakob Witzig	The SCIP Optimization Suite 3.2	ZIB-Report 15-60	PDF BibTeX URN
Ambros M. Gleixner, Benjamin Müller, Timo Berthold, Stefan Weltge	Three Enhancements for Optimization-Based Bound Tightening	ZIB-Report 15-16	PDF BibTeX URN
2013
Jannik Matuschke, Andreas Bley, Benjamin Müller	Approximation Algorithms for Facility Location with Capacitated and Length-Bounded Tree Connections in Algorithms	Algorithms – ESA 2013, University of Turin, August 28-31, 2013, pp. 707-718, 2013	BibTeX

Supervised Theses

2019
Fabian Wegscheider	Exploiting Symmetry in Mixed-Integer Nonlinear Programming	Master Thesis, TU Berlin, 07/2019.
Stefan Maak	A Separation Heuristic for Quadratically Constraint Programming using Decomposition	Master Thesis, TU Berlin, 07/2019.