Global Optimization and Constraint SatisfactionChristophe Jermann, Arnold Neumaier, Djamila Sam₹5,477