A symbolic reformulation/spatial branch-andbound algorithm for the global optimisation of nonconvex MINLPs (1999)

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