Constraint Programming

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.

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