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