@article{EiflerGleixner2024, author = {Leon Eifler and Ambros Gleixner}, title = {Safe and verified Gomory mixed integer cuts in a rational MIP framework}, journal = {SIAM Journal on Optimization}, year = {2024}, }