@article{wood2025satisfiability,
  title={Satisfiability modulo theories for verifying milp certificates},
  author={Wood, Kenan and Zhou, Runtian and Wu, Haoze and Mendes, Hammurabi and Pulaj, Jonad},
  journal={Journal of Symbolic Computation},
  pages={102543},
  year={2025},
  publisher={Elsevier}
}