Constraint Programming

This subject is not offered in 2013.

120 hours

One of the following:

None

None

433-433 Constraint Programming
433-633 Constraint Programming
433-671 Constraint Programming

For the purposes of considering request for Reasonable Adjustments under the Disability Standards for Education (Cwth 2005), and Student Support and Engagement Policy, academic requirements for this subject are articulated in the Subject Overview, Learning Outcomes, Assessment and Generic Skills sections of this entry.

It is University policy to take all reasonable steps to minimise the impact of disability upon academic study, and reasonable adjustments will be made to enhance a student's participation in the University's programs. Students who feel their disability may impact on meeting the requirements of this subject are encouraged to discuss this matter with a Faculty Student Adviser and Student Equity and Disability Support: http://services.unimelb.edu.au/disability

Constraint programming is used to solve constrained satisfaction and optimization problems such as scheduling and allocation, which are of vital importance to modern business. Constraint programming allows these problems to be modeled at a high level, and allows the solving to take advantage of the structure of the problem.

Topics covered will be:

• Modelling with constraints
• Agorithms for manipulating constraints
• Finite domain constraint solving
• Global constraints
• Programming search
• Hybrid constraint solving

On completion of this subject students should be able to:

• Model a complex constraint problem using a high level modeling language
• Define and explore different search strategies for solving a problem
• Explain how modelling interacts with the solving algorithms, and formulate models to take advantage of this
• Use state of the art optimisation tools

• Three projects due in weeks 4, 8 and 12 (30%)
• One examination not exceeding 3 hours, held in the examination period (70%)

Hurdle Requirement: Students must obtain a mark of at least 35/70 on the exam

None

This subject is not available as a breadth subject.

On completion of this subject students should be able to have the:

• Ability to undertake problem identification, formulation, and solution
• Ability to utilise a systems approach to complex problems and to design and for operational performance
• Ability to manage information and documentation
• Capacity for creativity and innovation