1. Handbook
  2. Subjects
  3. Constraint Programming

Constraint Programming (COMP90046)

Graduate courseworkPoints: 12.5Not available in 2019

You’re viewing the 2019 Handbook:
Or view archived Handbooks


Year of offerNot available in 2019
Subject levelGraduate coursework
Subject codeCOMP90046
FeesSubject EFTSL, Level, Discipline & Census Date


The aims for this subject is for students to develop an understanding of approaches to solving combinatorial optimization problems with computers, and to be able to demonstrate proficiency in modelling and solving programs using a high-level modelling language, and understanding of different solving technologies. The modelling language used is MiniZinc.


Topics covered will include:

  • Modelling with Constraints
  • Global constraints
  • Multiple Modelling
  • Model Debugging
  • Scheduling and Packing
  • Finite domain constraint solving
  • Mixed Integer Programming

Intended learning outcomes


On completion of this subject the student is expected to:

  1. Model a complex constraint problem using a high level modelling language
  2. Define and explore different search strategies for solving a problem
  3. Explain how modelling interacts with solving algorithms, and formulate models to take advantage of this using state of the art optimisation tools
  4. Explain different optimization technologies, and their strengths and weaknesses

Generic skills

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

  • Undertake problem identification, formulation, and solution
  • Utilise a systems approach to complex problems and to design and for operational performance
  • Manage information and documentation in solution creation
  • Demonstrate improved capacity for creativity and innovation.

Last updated: 8 May 2019