Logic-Based Methods for Global Optimization J. N. Hooker Carnegie Mellon University, USA November 2003 Basic Idea Assume the problem becomes convex when certain variables…