70 citations · 80 across the 14 of their papers we have counts for
1 paper · 1 filter
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…