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…