State of the art in global optimization : computational methods and applications - Floudas, Christodoulos A.; Pardalos, P. M. (Kluwer Academic Publishers, 1996)