Offers a comprehensive treatment of convexification and global optimization of continuous and mixed-integer nonlinear programs. This book covers theory, algorithms, software, and applications. It develops a widely-applicable framework for constructing closed-form expressions of convex envelopes of nonlinear functions.