Using two-dimensional Projections for Stronger Separation and Propagation of Bilinear Terms

Benjamin Müller, Felipe Serrano, Ambros Gleixner

One of the most fundamental ingredients in mixed-integer nonlinear programming solvers is the well-known McCormick relaxation for a product of two variables x and y over a box-cons…