Title: Global Optimization and Constraint Satisfaction