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