67 citations · 79 across the 6 of their papers we have counts for
3 papers · 1 filter
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization
Leon Eifler, Jules Nicolas-Thouvenin, Ambros Gleixner
This article studies a combination of the two state-of-the-art algorithms for the exact solution of linear programs (LPs) over the rational numbers, i.e., without any roundoff erro…
A proof system for certifying symmetry and optimality reasoning in integer programming
Jasper van Doornmalen, Leon Eifler, Ambros Gleixner +1
We present a proof system for establishing the correctness of results produced by optimization algorithms, with a focus on mixed-integer programming (MIP). Our system generalizes t…
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…