@misc{indiciae399b6afa6849,
  title = {Verifying Integer Programming Results},
  author = {Kevin K. H. Cheung and Ambros Gleixner and Daniel E. Steffy},
  year = {2019},
  doi = {10.1007/978-3-319-59250-3\_13},
  url = {https://arxiv.org/abs/1611.08832},
  note = {Source identifier: 1611.08832}
}