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

Please pass captcha verification before submit form