Certifying MIP-Based Presolve Reductions for 0-1 Integer Linear Programs.

Alexander Hoen, Andy Oertel, Ambros M. Gleixner, Jakob Nordstrm

Browse the full CPAIOR paper archive.