Algorithms and certificates for exact mixed integer programming

DOI10.14279/DEPOSITONCE-23941MaRDI QIDQ6903814zbMATH OpenFDO

Authors Leon Eifler

Publication date 7 November 2025

Full work available at URL https://doi.org/10.14279/DEPOSITONCE-23941

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming (90-02) Integer programming (90C10) Mixed integer programming (90C11) Combinatorial optimization (90C27)

Cited in

(2)

• Twisted products of monoids
• Verified Linear Programming through Tolerance-Aware Precision Boosting

This page was built for publication: Algorithms and certificates for exact mixed integer programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6903814)