New Results on Verified Global Optimization. - S. Berner (Computing, 1996)

A parallel algorithm for the global minimizationof Gibbs free energy. - S. Berner; K. I. M. McKinnon; C. Millar (Ann. Oper. Res., 1999)