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