Benjamin Müller

According to our database, Benjamin Müller authored at least 9 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Global optimization of mixed-integer nonlinear programs with SCIP 8.

Ksenia Bestuzheva, Antonia Chmiela, Benjamin Müller, Felipe Serrano, Stefan Vigerske, Fabian Wegscheider

J. Glob. Optim., February, 2025

2023

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, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf van der Hulst, Thorsten Koch, Marco E. Lübbecke, Stephen J. Maher, Frederic Matter, Erik Mühmer, Benjamin Müller, Marc E. Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Boro Sofranac, Mark Turner, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig

ACM Trans. Math. Softw., June, 2023

2020

Using Two-Dimensional Projections for Stronger Separation and Propagation of Bilinear Terms.

Benjamin Müller, Felipe Serrano, Ambros M. Gleixner

SIAM J. Optim., 2020

Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition.

Ambros M. Gleixner, Stephen J. Maher, Benjamin Müller, João Pedro Pedroso

Ann. Oper. Res., 2020

On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming.

Benjamin Müller, Gonzalo Muñoz, Maxime Gasse, Ambros M. Gleixner, Andrea Lodi, Felipe Serrano

Proceedings of the Integer Programming and Combinatorial Optimization, 2020

2017

Three enhancements for optimization-based bound tightening.

Ambros M. Gleixner, Timo Berthold, Benjamin Müller, Stefan Weltge

J. Glob. Optim., 2017

Exact Methods for Recursive Circle Packing.

Ambros M. Gleixner, Stephen J. Maher, Benjamin Müller, João Pedro Pedroso

CoRR, 2017

On the Performance of NLP Solvers Within Global MINLP Solvers.

Benjamin Müller, Renke Kuhlmann, Stefan Vigerske

Proceedings of the Operations Research Proceedings 2017, 2017

2013

Approximation Algorithms for Facility Location with Capacitated and Length-Bounded Tree Connections.

Jannik Matuschke, Andreas Bley, Benjamin Müller

Proceedings of the Algorithms - ESA 2013, 2013