@article{EiflerGleixner2023, author = {Leon Eifler and Ambros Gleixner}, title = {Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework}, journal = {SIAM Journal on Optimization}, volume = {34}, number = {1}, doi = {10.1137/23M156046X}, year = {2023}, language = {en} }