@misc{indiciae9fb29d63c92c,
  title = {A proof system for certifying symmetry and optimality reasoning in integer programming},
  author = {Jasper van Doornmalen and Leon Eifler and Ambros Gleixner and Christopher Hojny},
  year = {2023},
  url = {https://arxiv.org/abs/2311.03877},
  note = {Source identifier: 2311.03877}
}