1 citations · 1 across the 3 of their papers we have counts for
4 papers
Clique Probing for Mixed-Integer Programs
Jacob von Holly-Ponientzietz, Alexander Hoen, Mark Turner +1
Probing is an important presolving technique in mixed-integer programming solvers. It selects binary variables, tentatively fixes them to 0 and 1, and performs propagation to deduc…
The SCIP Optimization Suite 10.0
Christopher Hojny, Mathieu Besançon, Ksenia Bestuzheva +31
The SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framework SCIP. This…
State-of-the-art Methods for Pseudo-Boolean Solving with SCIP
Gioni Mexi, Dominik Kamp, Yuji Shinano +8
The Pseudo-Boolean problem deals with linear or polynomial constraints with integer coefficients over Boolean variables. The objective lies in optimizing a linear objective functio…
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…