A. Mahajan, "Presolving Mixed Integer Linear Programs," Preprint ANL/MCS-P1752-0510, May 2010. [pdf]
We survey the techniques used for presolving Mixed-integer linear programs (MILPs). Presolving is an important component of all modern MILP solvers. It is used for simplifying a given instance, for detecting any obvious problems or errors, and for identifying structures= and characteristics that are useful for solving an instance.