@misc{indiciae7ebf8a698627,
  title = {Analyzing the numerical correctness of branch-and-bound decisions for mixed-integer programming},
  author = {Alexander Hoen and Ambros Gleixner},
  year = {2025},
  url = {https://arxiv.org/abs/2412.14710},
  note = {Source identifier: 2412.14710}
}