TY  - RPRT
TI  - Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs
AU  - Alexander Hoen
AU  - Andy Oertel
AU  - Ambros Gleixner
AU  - Jakob Nordström
PY  - 2024
UR  - https://arxiv.org/abs/2401.09277
ID  - 2401.09277
ER  -