Book

Handbook of Formal Optimization

by Anand J. Kulkarni, Amir H. Gandomi