67 citations · 69 across the 8 of their papers we have counts for
1 paper · 2 filters
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…