Presolving Mixed-Integer Linear Programs - COR@L

Contents
1 Introduction 1
2 Basic Presolving 2
2.1 Simple Rearrangements and Substitutions . . . . . . . . . . . . . . . . . . . . . . . . . 2
2.2 Granularity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.3 Constraint and Variable Duplication . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.4 Constraint Domination . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.5 BoundImprovement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.6 Dual/Reduced-CostImprovement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3 AdvancedPresolving 7
3.1 Fixing Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.2 Improving Coefficients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.3 DerivingImplications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.4 Probing on Constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
4 IdentifyingStructure 10
5 Postsolve 11
6 ConcludingRemarks 11
ii