This book is concerned with theory, algorithms and software for solving nonconvex mixed integer nonlinear programs. It consists of two parts. The first part describes basic optimization tools, such as block-separable reformulations, convex and Lagrangian relaxations, decomposition methods and global optimality criteria. The second part is devoted to algorithms. Starting with a short overview on...