Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers - Christophe Jermann, Arnold Neumaier, Djamila Sam ((Lecture Notes in Computer Science))