12 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.DM2025
Implied Integrality in Mixed-Integer Optimization
Rolf van der Hulst, Matthias Walter
Implied-integer detection is a well-known presolving technique that is used by many Mixed-Integer Linear Programming solvers. Informally, a variable is said to be implied integer i…
math.OC2021★ 12 cited
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. This paper d…