{"id":"arxiv/2610.39261","url":"https://arxiv.org/abs/2610.39261","tags":["math.OC"],"score":0,"title":"Network flow-based cuts for binary bilevel programs","domain":"math.OC","source":"arxiv","authors":["Sebastian Vasquez","Leonardo Lozano","Willem-Jan van Hoeve"],"reviews":0,"subject":"math.OC","summary":"Binary bilevel programs are challenging to solve due to the lack of compact single-level reformulations. Recent extended network flow-based reformulations have emerged as a promising approach, providing strong dual bounds. However, their increasing size can make them computationally prohibitive. We develop a cutting-plane framework that exploits these networks without requiring an extended-space formulation. We introduce two exact network flow-based reformulations and provide an efficient separation procedure for inequalities that certify the follower's optimality. We further strengthen…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}