Certifying MIP-based presolve reductions for 0-1 integer linear programs
Author: | Alexander Hoen, Andy Oertel, Ambros Gleixner, Jakob Nordström |
---|---|
Document Type: | In Proceedings |
Parent Title (English): | Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research |
Year of first publication: | 2024 |