C.C.: A symbolic reformulation/spatial branch-and-bound algorithm for the global optimisation of nonconvex minlps (1999)

by E M Smith, Pantelides
Venue:Computers & Chemical Engineering