4 citations · 5 across the 4 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.OC2020
On the Integrality Gap of Binary Integer Programs with Gaussian Data
Sander Borst, Daniel Dadush, Sophie Huiberts +1
For a binary integer program (IP) , where and have independent Gaussian…
cs.CC2020
On the Complexity of Branching Proofs
Daniel Dadush, Samarth Tiwari
We consider the task of proving integer infeasibility of a bounded convex in using a general branching proof system. In a general branching proof, one constructs…