Benjamin Müller

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Global optimization of mixed-integer nonlinear programs with SCIP 8 Journal of Global Optimization	2025-03-04	Paper
Tighter relaxations in mixed-integer nonlinear programming	2024-11-01	Paper
Enabling research through the SCIP Optimization Suite 8.0 ACM Transactions on Mathematical Software	2024-09-10	Paper
Feasible rounding based diving strategies in branch-and-bound methods for mixed-integer optimization EURO Journal on Computational Optimization	2023-07-12	Paper
Enabling Research through the SCIP Optimization Suite 8.0	2023-03-13	Paper
Global Optimization of Mixed-Integer Nonlinear Programs with SCIP 8	2023-01-02	Paper
On generalized surrogate duality in mixed-integer nonlinear programming Integer Programming and Combinatorial Optimization	2022-10-14	Paper
On generalized surrogate duality in mixed-integer nonlinear programming Mathematical Programming. Series A. Series B	2022-03-22	Paper
The SCIP Optimization Suite 8.0	2021-12-16	Paper
Using two-dimensional projections for stronger separation and propagation of bilinear terms SIAM Journal on Optimization	2020-05-20	Paper
Price-and-verify: a new algorithm for recursive circle packing using Dantzig-Wolfe decomposition Annals of Operations Research	2020-01-20	Paper
On the Performance of NLP Solvers Within Global MINLP Solvers Operations Research Proceedings	2018-10-09	Paper
Polymake and Lattice Polytopes	2018-07-23	Paper
Polymake and Lattice Polytopes (available as arXiv preprint)	2018-07-23	Paper
Three enhancements for optimization-based bound tightening Journal of Global Optimization	2017-04-28	Paper
Exact Methods for Recursive Circle Packing (available as arXiv preprint)	2017-02-24	Paper
An adaptive least-squares mixed finite element method for the Signorini problem Numerical Methods for Partial Differential Equations	2017-01-26	Paper
Stress-based finite element methods in linear and nonlinear solid mechanics Advanced Finite Element Technologies	2017-01-20	Paper
A first-order system least squares method for hyperelasticity SIAM Journal on Scientific Computing	2015-01-23	Paper
Approximation algorithms for facility location with capacitated and length-bounded tree connections Lecture Notes in Computer Science	2013-09-17	Paper

Research outcomes over time

This page was built for person: Benjamin Müller