@misc{indiciaebc18d49bd3a9,
  title = {Certified Constraint Propagation and Dual Proof Analysis in a Numerically Exact MIP Solver},
  author = {Sander Borst and Leon Eifler and Ambros Gleixner},
  year = {2024},
  url = {https://arxiv.org/abs/2403.13567},
  note = {Source identifier: 2403.13567}
}