The reliable solution of hard linear and mixed integer linear programs is one of the key technologies for the implementation of optimization modules. The cooperation...
The main objective of this project is to develop an adaptive sampling strategy for the identification of cycles in transition networks. To analyse transition networks...
The reliable solution of hard linear and mixed integer linear programs is one of the key technologies for the implementation of optimization modules. The cooperation...
A computational status update for exact rational mixed integer programming
Mathematical Programming, Vol.197, pp. 793-812, 2023
Leon Eifler, Ambros GleixnerBibTeX DOI
Combining Precision Boosting with LP Iterative Refinement for Exact Linear Optimization
2023 (under review, preprint available as ZIB-Report 23-26)
Leon Eifler, Jules Nicolas-Thouvenin, Ambros GleixnerPDF (ZIB-Report) BibTeX
Safe and Verified Gomory Mixed Integer Cuts in a Rational MIP Framework
SIAM Journal on Optimization, 2023 (under review, preprint available as ZIB-Report 23-09)
Leon Eifler, Ambros GleixnerPDF (ZIB-Report) BibTeX
A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture
ACM Transactions on Mathematical Software, 48(2), 2022 (preprint available as ZIB-Report 21-35)
Leon Eifler, Ambros Gleixner, Jonad PulajPDF (ZIB-Report) BibTeX DOI
A Computational Status Update for Exact Rational Mixed Integer Programming
Integer Programming and Combinatorial Optimization: 22th International Conference, IPCO 2021, 2021 (preprint available as ZIB-Report 21-04)
Leon Eifler, Ambros GleixnerPDF (ZIB-Report) BibTeX DOI