Overview Statistic: PDF-Downloads (blue) and Frontdoor-Views (gray)
  • search hit 8 of 21
Back to Result List

A computational status update for exact rational mixed integer programming

  • The last milestone achievement for the roundoff-error-free solution of general mixed integer programs over the rational numbers was a hybrid-precision branch-and-bound algorithm published by Cook, Koch, Steffy, and Wolter in 2013. We describe a substantial revision and extension of this framework that integrates symbolic presolving, features an exact repair step for solutions from primal heuristics, employs a faster rational LP solver based on LP iterative refinement, and is able to produce independently verifiable certificates of optimality. We study the significantly improved performance and give insights into the computational behavior of the new algorithmic components. On the MIPLIB 2017 benchmark set, we observe an average speedup of 10.7x over the original framework and 2.9 times as many instances solved within a time limit of two hours.

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics - number of accesses to the document
Metadaten
Author:Leon Eifler, Ambros Gleixner
Document Type:Article
Parent Title (English):Mathematical Programming
Volume:197
First Page:793
Last Page:812
Year of first publication:2023
DOI:https://doi.org/10.1007/s10107-021-01749-5
Accept ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.