Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs

Alexander Hoen, Andy Oertel, Ambros Gleixner +1

It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations m…