Please be advised: Due to maintenance work on the BRZ-SAP system, some services will only be available to a limited extent in TISS from Friday, June 28, 2024 17:00 up to and including Sunday, June 30, 2024. Please accept our apologies for any inconvenience.

# 186.861 Modeling and Solving Constrained Optimization Problems This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_21",{id:"j_id_21",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2024S 2022S 2021S 2020S 2019S 2018S 2017S

2024S, VU, 2.0h, 3.0EC, to be held in blocked form

## Properties

• Semester hours: 2.0
• Credits: 3.0
• Type: VU Lecture and Exercise
• Format: Presence

## Learning outcomes

After successful completion of the course, students are able to...

- model and solve combinatorial optimization problems using Constraint Programming (CP);

- implement and compare different methods for solving CP problems.

- select the best heuristic to improve search performance.

## Subject of course

- Constraint Programming basics: fundamental concepts, types of domains (finite domains, intervals, sets), constraints, search, branch and bound
- CP modeling techniques: global constraints, redundant constraints, symmetry elimination, special-purpose constraints (e.g., scheduling), modeling of optimization problems, problem reduction
- CP languages/libraries: MiniZinc, ILOG CP Optimizer
- Modeling examples: n-Queens, Cryptoarithmetic, Sudoku, Scheduling, Timetabling, ...
- Basic solution methods: propagation, consistency, search
- Advanced solution methods: heuristic methods, hybrid approaches, integration with heuristic/metaheuristic techniques
- Statistical analysis of optimization algorithms
- Lab practice

## Teaching methods

Lectures and  Lab practice dealing with programming assignments.

## Mode of examination

Immanent

ECTS-Breakdown:
14 h  lectures
6 h  lab practice
32 h  preparation of assignments
20 h  preparation for final oral exam
1 h  oral exam and presentation of last assignment
------
75 h overall

## Examination modalities

Project, report writing, and oral discussion.

Not necessary

## Curricula

Study CodeObligationSemesterPrecon.Info
066 504 Master programme Embedded Systems Not specified
066 931 Logic and Computation Mandatory elective
066 937 Software Engineering & Internet Computing Mandatory elective

## Literature

No lecture notes are available.

English