Deterministic global optimization theory, methods and applications - Floudas, Christodoulos A. 1959- (Kluwer, 2000)