BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Ambros Gleixner (Zuse Institute Berlin and HTW Berlin)
DTSTART:20210525T164500Z
DTEND:20210525T171500Z
DTSTAMP:20260414T235649Z
UID:MIP2021/8
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/MIP2021/8/">
 Exact mixed-integer programming: a status update on MIP solving without nu
 merical errors</a>\nby Ambros Gleixner (Zuse Institute Berlin and HTW Berl
 in) as part of Mixed Integer Programming Workshop 2021\n\n\nAbstract\nThe 
 presence of floating-point roundoff errors compromises the results of virt
 ually all fast mixed integer programming solvers available today. The last
  milestone achievement for the numerically exact solution of general mixed
  integer programs over the rational numbers dates back to the hybrid-preci
 sion branch-and-bound algorithm published by Cook\, Koch\, Steffy\, and Wo
 lter in 2013. In this talk\, we describe a substantial revision and extens
 ion of this framework that integrates symbolic presolving\, features an ex
 act repair step for solutions from primal floating-point heuristics\, empl
 oys a faster rational LP solver based on LP iterative refinement\, and is 
 able to produce independently verifiable certificates of optimality.  We s
 tudy the significantly improved performance and give insights into the com
 putational behavior of the new algorithmic components. This is joint work 
 with Leon Eifler.\n
LOCATION:https://researchseminars.org/talk/MIP2021/8/
END:VEVENT
END:VCALENDAR