Exploiting Variable Implications in Presolve for Mixed Integer Programming

Wei-Kun Chen, Chang-Long Li, Zhao-Wei Wang +3

Presolve for mixed integer programming (MIP) problems aims to eliminate redundant information, strengthen the formulation, and extract useful structural information for the subsequ…