67 citations · 69 across the 8 of their papers we have counts for
3 papers · 1 filter
Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver
Sander Borst, Leon Eifler, Ambros Gleixner
This paper presents the integration of constraint propagation and dual proof analysis in an exact, roundoff-error-free MIP solver. The authors employ safe rounding methods to ensur…
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…
Branch and Cut for Partitioning a Graph into a Cycle of Clusters
Leon Eifler, Jakob Witzig, Ambros Gleixner
In this paper we study formulations and algorithms for the cycle clustering problem, a partitioning problem over the vertex set of a directed graph with nonnegative arc weights tha…