# Modelling for Combinatorial Optimisation

5 credits

Syllabus, Master's level, 1DL451

A revised version of the syllabus is available.
Code
1DL451
Education cycle
Second cycle
Main field(s) of study and in-depth level
Computer Science A1N
Fail (U), Pass (3), Pass with credit (4), Pass with distinction (5)
Finalised by
The Faculty Board of Science and Technology, 9 March 2018
Responsible department
Department of Information Technology

## Entry requirements

120 credits including Basic Course in Mathematics, Algebra I, and 10 credits in programming or another combination of courses containing basic concepts in algebra, combinatorics, logic, graph theory, set theory and implementation of (basic) search algorithms.

## Learning outcomes

In order to pass, the student must be able to

• define the concept of combinatorial (optimisation or satisfaction) problem
• explain the concept of constraint, as used in a constraint-based modelling language
• model a combinatorial problem in a constraint-based solving-technology-independent modelling language
• compare (empirically) several models, say by introducing redundancy or by detecting and breaking symmetries
• describe and compare solving technologies that can be used by the backends to a constraint-based modelling language, including constraint programming, local search, Boolean satisfiability (modulo theories), and mixed integer programming
• choose suitable solving technologies for a combinatorial problem, and motivate this choice
• present and discuss topics related to the course content, orally and in writing, with a skill appropriate for the level of education

## Content

The use of tools for solving a combinatorial problem, by first modelling it in a solving-technology-independent constraint-based modelling language and then running the model on an off-the-shelf solver.

## Instruction

Lectures, help sessions, solution sessions and project

## Assessment

Oral and written presentations of assignments (3 credits).

Oral and written presentations of a project (2 credits).

## Other directives

This course cannot be included in the same degree as 1DL448 Modelling for Combinatorial Optimisation or 1DL449 Constraint Modelling for Combinatorial Optimisation or 1DL441 Combinatorial Optimisation using Constraint Programming.