Christodoulos A. Floudas Panos M. Pardalos Encyclopedia of Optimization, Second Edition 2009 978-0-387-74758-3 Springer db/reference/opt/opt2009.html