ZIB
TU Berlin interests / cv / publications

Benjamin Müller

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

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

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.

Publications

Here is my BibTeX file.

2019

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