@misc{indiciae7e037171d35d,
  title = {An Abstract Model for Branch and Cut},
  author = {Aleksandr M. Kazachkov and Pierre Le Bodic and Sriram Sankaranarayanan},
  year = {2023},
  doi = {10.1007/s10107-023-01991-z},
  url = {https://arxiv.org/abs/2111.09907},
  note = {Source identifier: 2111.09907}
}