WHOOPS '24: Certifying MIP-based presolve reductions for 0–1 integer linear programs (Andy Oertel)

WHOOPS '24: Certifying MIP-based presolve reductions for 0–1 integer linear programs (Andy Oertel)
Share:


Similar Tracks