Cutting planes in mixed integer programming: theory and algorithms. - Steven Jay Tyber (2013)