@misc{indiciae8dd06c68adc9,
  title = {Satisfiability Modulo Theories for Verifying MILP Certificates},
  author = {Kenan Wood and Runtian Zhou and Haoze Wu and Hammurabi Mendes and Jonad Pulaj},
  year = {2025},
  url = {https://arxiv.org/abs/2312.10420},
  note = {Source identifier: 2312.10420}
}