Solvers
Linears
LMBIGM: BigM relaxation of the disjunctive set (Vecchietti, Lee & Grossmann, 2003)
LMCHULL: Convex - Hull relaxation of the disjunctive set (Balas, 1979)(Vecchietti, Lee & Grossmann, 2003)
Non Linears
LMLBOA: Logic - Based Outer Approximation (Turkay & Grossmann, 1996a)