Constraint Reasoning
Future generations of software applications will increasingly rely on the ability to search through a large set of possibilities and to find the ones that optimally match the requirements of the user. The goal of the Constraint Reasoning group is to develop the next generation of optimisation technology to accompany the development of these new applications.
Related work
- Microsoft Solver Foundation: new framework for mathematical programming, modeling, and optimization.
- AutoCollage: an advanced computer vision and image processing program which automatically create collages of your pictures.
