Avatar

Benjamin Müller

Research assistant


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: Stronger 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 Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming 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 PDF
BibTeX
URN

2019

Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros Gleixner, Andrea Lodi, Felipe Serrano On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming PDF
BibTeX
URN
Benjamin Müller, Felipe Serrano, Ambros Gleixner Using two-dimensional Projections for Stronger Separation and Propagation of Bilinear Terms PDF (ZIB-Report)
BibTeX

2018

Benjamin Müller, Renke Kuhlmann, Stefan Vigerske On the performance of NLP solvers within global MINLP solvers 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 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 PDF
BibTeX
URN

2017

Ambros Gleixner, Stephan Maher, Benjamin Müller, João Pedro Pedroso Exact Methods for Recursive Circle Packing PDF (ZIB-Report)
BibTeX
Benjamin Müller, Renke Kuhlmann, Stefan Vigerske On the performance of NLP solvers within global MINLP solvers 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 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 PDF
BibTeX
URN
Ambros M. Gleixner, Benjamin Müller, Timo Berthold, Stefan Weltge Three Enhancements for Optimization-Based Bound Tightening 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 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.