Showing math.OCShow all
3 papers · 1 filter
math.OC2024
Exact Decomposition Branching exploiting Lattice Structures
Katrin Halbig, Timm Oertel, Dieter Weninger
Strict inequalities in mixed-integer linear optimization can cause difficulties in guaranteeing convergence and exactness. Utilizing that optimal vertex solutions follow a lattice…
math.OC2024
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…
math.OC2024
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…