Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Terms

Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg

The reformulation-linearization technique (RLT) is a prominent approach to constructing tight linear relaxations of non-convex continuous and mixed-integer optimization problems. T…