Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs
From MaRDI portal
Publication:6517784
zbMatharXiv:2401.09277MaRDI QIDQ6517784
Ambros M. Gleixner, Unnamed Author, Andy Oertel, Jakob Nordström
Publication date: 1 January 1
This page was built for publication: Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs