Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers - Sam, Djamila; Neumaier, Arnold; Jermann, Christophe (Springer-Verlag GmbH., 2005)