Benjamin Müller 0002

dblp:16/7215-2 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
2since 2021 · last 2025
0000-0002-4463-2873ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 1 first-author · 2 since 2021
YearPublicationVenuePosition
2025 Global optimization of mixed-integer nonlinear programs with SCIP 8
abstract
Abstract For over 10 years, the constraint integer programming framework SCIP has been extended by capabilities for the solution of convex and nonconvex mixed-integer nonlinear programs (MINLPs). With the recently published version 8.0, these capabilities have been largely reworked and extended. This paper discusses the motivations for recent changes and provides an overview of features that are particular to MINLP solving in SCIP. Further, difficulties in benchmarking global MINLP solvers are discussed and a comparison with several state-of-the-art global MINLP solvers is provided.
Ksenia Bestuzheva, Antonia Chmiela, Benjamin Müller 0002, Felipe Serrano 0001, Stefan Vigerske, Fabian Wegscheider
J. Glob. Optim.3
2023 Enabling Research through the SCIP Optimization Suite 8.0
abstract
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP . The focus of this article is on the role of the SCIP Optimization Suite in supporting research. SCIP ’s main design principles are discussed, followed by a presentation of the latest performance improvements and developments in version 8.0, which serve both as examples of SCIP ’s application as a research tool and as a platform for further developments. Furthermore, this article gives an overview of interfaces to other programming and modeling languages, new features that expand the possibilities for user interaction with the framework, and the latest developments in several extensions built upon SCIP .
Ksenia Bestuzheva, Mathieu Besançon, 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 0002, Marc E. Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano 0001, Yuji Shinano, Boro Sofranac, Mark Turner 0010, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig
ACM Trans. Math. Softw.22
2020 On Generalized Surrogate Duality in Mixed-Integer Nonlinear Programming
Benjamin Müller 0002, Gonzalo Muñoz 0001, Maxime Gasse, Ambros M. Gleixner, Andrea Lodi 0001, Felipe Serrano 0001
IPCO1
2017 Three enhancements for optimization-based bound tightening
Ambros M. Gleixner, Timo Berthold, Benjamin Müller 0002, Stefan Weltge
J. Glob. Optim.3
2013 Approximation Algorithms for Facility Location with Capacitated and Length-Bounded Tree Connections
Jannik Matuschke, Andreas Bley, Benjamin Müller 0002
ESA3