1 paper
Hugo A. Hof, Matthias Walter
The reformulation-linearization-technique (RLT) is a well-known strengthening technique for binary mixed-integer optimization. It is well known to dominate lift-and-project strengt…