Collaborations

The optimisation team has close connections with colleagues in every continent. Some of the leading partners are:

Zuse Institut Berlin – Mathematical decomposition technique and hybridisation methods
MicroSoft, Cambridge – Satisfiability and optimisation platforms
University Paris VI – scheduling
CMU Pittsburgh – integration of mathematical programming and constraint programming
Uppsala – Constraint programming implementation, solvers
Chinese University of Hong Kong – soft constraints and propagation algorithms
IBM, Yorktown Heights – search, mathematical modelling
Le High – mathematical programming interfaces and components
INRIA (Rennes, Nancy) – planning and diagnosis
University of Freiburg – planning, search
Fraunhofer IAS – Markov Decision Processes
LAAS-CNRS (Diagnosis)