Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework

Leon Eifler, Ambros M. Gleixner. Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework. SIAM Journal on Optimization, 34(1):742-763, March 2024. [doi]

Abstract

Abstract is missing.