Applied global optimization using integrated modeling and solver environments - Pintér, János D. (Operations research series, 2003)