enthält Bounding the gap between the McCormick relaxation and the convex hull for bilinear functions 2017