An Algorithm-Independent Measure of Progress for Linear Constraint Propagation

Boro Sofranac, Ambros Gleixner, Sebastian Pokutta

Propagation of linear constraints has become a crucial sub-routine in modern Mixed-Integer Programming (MIP) solvers. In practice, iterative algorithms with tolerance-based stoppin…