The Constraint Programming Platform project will develop G12, a software platform for solving large-scale industrial combinatorial optimisation problems.
The information processing revolution has enabled organisations of all sizes to capture and access accurate and up-to-date information about all their activities and resources. The Constraint Programming Platform (CPP) project will enable this information to be turned to immediate benefit by supporting optimised decision-making and resource allocation.
Advanced software engineering will encapsulate algorithms from several different disciplines, so they can be reused and combined freely. Program development will be accelerated by mapping low-level computation back to the problem model, enabling the programmer to analyse and improve algorithm behaviour.
What will this research achieve?
The project will build G12, a powerful, easy-to-use, constraint programming platform for solving large-scale industrial combinatorial problems. The project plan includes deployment of the platform on four different industrial applications.
The research project is split into four related threads: building richer modelling languages, building richer solving capabilities (search and solver technology), a richer control language mapping the problem model to the underlying solving capabilities and a richer problem-solving environment.
The system will use constraint programming (CP) techniques, which will allow problems to be stated simply and solved efficiently. Solution development time and computing time will be dramatically reduced.
Who will benefit?
This research will enable Australian industry to exploit resources more efficiently. It will support more efficient management of complex private and public utilities such as transportation, communication, power and water. It will help these organisations optimise and justify their strategic decision making and investment.
Software
MiniZinc and FlatZinc home page