Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks. - Ramesh Raman; Ignacio E. Grossmann (Ann. Oper. Res., 1993)

Logic cuts for processing networks with fixed charges. - John N. Hooker; Hong Yan 002; Ignacio E. Grossmann; Ramesh Raman (Comput. Oper. Res., 1994)