@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},
  volume    = {34},
  number    = {1},
  doi       = {10.1137/23M156046X},
  year        = {2024},
}