1 citations · 1 across the 9 of their papers we have counts for
5 papers · 2 filters
Analyzing the numerical correctness of branch-and-bound decisions for mixed-integer programming
Alexander Hoen, Ambros Gleixner
Most state-of-the-art branch-and-bound solvers for mixed-integer linear programming rely on limited-precision floating-point arithmetic and use numerical tolerances when reasoning…
MIP-DD: A Delta Debugger for Mixed Integer Programming Solvers
Alexander Hoen, Dominik Kamp, Ambros Gleixner
The recent performance improvements in mixed-integer programming (MIP) have been accompanied by a significantly increased complexity of the codes of MIP solvers, which poses challe…
A diving heuristic for mixed-integer problems with unbounded semi-continuous variables
Katrin Halbig, Alexander Hoen, Ambros Gleixner +2
Semi-continuous decision variables arise naturally in many real-world applications. They are defined to take either value zero or any value within a specified range, and occur main…
The SCIP Optimization Suite 9.0
Suresh Bolusani, Mathieu Besançon, Ksenia Bestuzheva +28
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This…
Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs
Alexander Hoen, Andy Oertel, Ambros Gleixner +1
It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations m…