1 paper
Amitabh Basu, Tongtong Chen, Michele Conforti +1
Inspired by branch-and-bound and cutting plane proofs in mixed-integer optimization and proof complexity, we develop a general approach via Hoffman's Helly systems. This helps to d…