TY  - RPRT
TI  - Satisfiability Modulo Theories for Verifying MILP Certificates
AU  - Kenan Wood
AU  - Runtian Zhou
AU  - Haoze Wu
AU  - Hammurabi Mendes
AU  - Jonad Pulaj
PY  - 2025
UR  - https://arxiv.org/abs/2312.10420
ID  - 2312.10420
ER  -