“…(1) tightening methods including preprocessing algorithms for fixing binary variables (Pinto and Grossmann, 1995;Blomer and Gunther, 2000) and generating valid inequalities , as well as the solution of auxiliary LP and MIP models for the generation of valid inequalities (Burkard and Hatzl 2005;Janak and Floudas, 2008); (2) reformulations including variable disaggregation (Sahinidis and Grossmann, 1991;Yee and Shah, 1998) and reformulation-linearization (Janak and Floudas, 2008) techniques; (3) decomposition methods relying on the structure of the network , the hierarchy of decisions Kelly and Zyngier, 2008), the iterative solution of a simpler MIP model , Lagrangean relaxation and decomposition (Wu and Ierapetritou, 2003;Calfa et al, 2013), and rolling horizon approaches (Dimitriadis et al, 1997;Lin et al, 2002); and (4) algorithmic enhancements including preprocessing algorithms to generate strong valid inequalities , and the use of heuristics (Mendez and Cerda, 2003;Roslof et al, 2001;Kopanos et al, 2010). Furthermore, researchers have proposed decomposition methods that rely on the integration of different solution methods, both for sequential (Jain and Grossmann, 2001;Harjunkoski and Grossmann, 2002;Maravelias, 2006) and network (Maravelias and Grossmann, 2004;Roe et al, 2005) environments.…”