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

by E Smith, Pantelides
Venue:Computers & Chemical Engineering