Documents 1 Logic-Based Methods for Global Optimization J. N. Hooker Carnegie Mellon University, USA November....

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…

Documents Logic-Based Methods for Global Optimization

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…