Analysing model transformations for combinatorial problems

Project: Research

Project Details

Project Description

Combinatorial problems are pervasive in our increasingly complex society. The economic impact of efficiently solving these problems has spurred the development of many different solving techniques. Unfortunately, the difficulty in selecting and combining these techniques is seriously limiting our ability to benefit from the technology. Different techniques can be applied to a problem by using different kinds of model transformations. This project aims to simplify the problem solving process and improve the solutions, by developing analytic tools to assess and compare model transformations. By guiding the process towards promising solving techniques, we will hasten the discovery of the best solutions.
Effective start/end date2/06/081/03/12


  • Australian Research Council (ARC): AUD155,000.00
  • Australian Research Council (ARC): AUD80,000.00
  • Australian Research Council (ARC)