Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks

Ramesh Raman, Ignacio E. Grossmann. Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks. Annals OR, 42(1):169-191, 1993. [doi]

Abstract

Abstract is missing.