A Safe Computational Framework for Integer Programming Applied to Chvátal’s Conjecture
A Safe Computational Framework for Integer Programming Applied to Chvátal’s Conjecture
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 mathematical theorems. At its core, the framework relies on a rational branch-and-bound certificate produced by an exact integer programming solver, SCIP, in order to circumvent …