@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 = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2024}, volume = {14742}, doi = {10.1007/978-3-031-60597-0_20}, year = {2024}, }