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

Alexander Hoen, Andy Oertel, Ambros Gleixner, Jakob Nordström

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingpeer-review

Fingerprint

Dive into the research topics of 'Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs'. Together they form a unique fingerprint.

Computer Science

Engineering