2006-12-132006-12-132006-12-13200510.1007/b136292https://infoscience.epfl.ch/handle/20.500.14299/238479Global Optimization and Constraint Satisfactiontext::conference output::conference proceedings