@inproceedings{HoenOertelGleixneretal.2024, author = {Alexander Hoen and Andy Oertel and Ambros Gleixner and Jakob Nordstr{\"o}m}, title = {Certifying MIP-based presolve reductions for 0-1 integer linear programs}, booktitle = {Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research}, year = {2024}, }