67 citations · 76 across the 3 of their papers we have counts for
4 papers
Enabling Research through the SCIP Optimization Suite 8.0
Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen +32
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization centered around the constraint integer programming framework SCIP. The focus of…
Global Optimization of Mixed-Integer Nonlinear Programs with SCIP 8
Ksenia Bestuzheva, Antonia Chmiela, Benjamin Müller +3
For over ten years, the constraint integer programming framework SCIP has been extended by capabilities for the solution of convex and nonconvex mixed-integer nonlinear programs (M…
Using two-dimensional Projections for Stronger Separation and Propagation of Bilinear Terms
Benjamin Müller, Felipe Serrano, Ambros Gleixner
One of the most fundamental ingredients in mixed-integer nonlinear programming solvers is the well-known McCormick relaxation for a product of two variables x and y over a box-cons…
Exact Methods for Recursive Circle Packing
Ambros Gleixner, Stephen Maher, Benjamin Müller +1
Packing rings into a minimum number of rectangles is an optimization problem which appears naturally in the logistics operations of the tube industry. It encompasses two major diff…