{"id":"arxiv/2607.04313","url":"https://arxiv.org/abs/2607.04313","tags":["math.OC"],"score":0,"title":"Exploiting Variable Implications in Presolve for Mixed Integer Programming","domain":"math.OC","source":"arxiv","authors":["Wei-Kun Chen","Chang-Long Li","Zhao-Wei Wang","Yu-Hong Dai","Zi-Shuo Li","Meng Lu"],"reviews":0,"subject":"math.OC","summary":"Presolve for mixed integer programming (MIP) problems aims to eliminate redundant information, strengthen the formulation, and extract useful structural information for the subsequent branch-and-cut process. An important type of such structural information is the variable implications (VIs), which describe how a bound on a variable depends on a bound of a binary variable. In this paper, we develop two new presolve techniques that exploit VIs to derive reductions for MIP problems. The first technique, called VI aggregation, aggregates multiple VIs into a single inequality by using…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-05","reactions":{}}