Cutting plane generation beyond cut violation
Cutting plane generation is one of the key components of state-of-the-art algorithms for the solution of integer programming problems. This project aims at developing novel cut generation paradigms which go beyond the classic notion of cut violation. At present, we highlight two main research directions. On the one hand, we develop ways to translate the best pivoting rules known for the simplex method into suitably defined (and typically nonlinear) cut generating subproblems and algorithms. On the other hand, we aim at developing techniques based on entirely new concepts, among which those of cut coordination and bound-optimal cut generation. The former is a mathematically well-defined way of cutting planes among which a measure of diversity is maximized. The latter is a paradigm calling for the generation of one or more cuts which, when added to the current relaxation, yield the provably largest bound improvement.