TY - CONF A1 - Hoen, Alexander A1 - Oertel, Andy A1 - Gleixner, Ambros A1 - Nordström, Jakob T1 - Certifying MIP-based presolve reductions for 0-1 integer linear programs T2 - Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research Y1 - 2024 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/9486 ER -