67 citations · 151 across the 41 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.CO2018
A Safe Computational Framework for Integer Programming applied to Chvátal's Conjecture
Leon Eifler, Ambros Gleixner, Jonad Pulaj
We describe a general and safe computational framework that provides integer programming results with the degree of certainty that is required for machine-assisted proofs of mathem…
math.OC2018★ 4 cited
Solving Quadratic Programs to High Precision using Scaled Iterative Refinement
Tobias Weber, Sebastian Sager, Ambros Gleixner
Quadratic optimization problems (QPs) are ubiquitous, and solution algorithms have matured to a reliable technology. However, the precision of solutions is usually limited due to t…