1 citations · 3 across the 5 of their papers we have counts for
1 paper · 1 filter
Paul Beame, Noah Fleming, Russell Impagliazzo +4
We develop a new semi-algebraic proof system called Stabbing Planes which formalizes modern branch-and-cut algorithms for integer programming and is in the style of DPLL-based mode…