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.
This course is in at least 1 assigned curriculum part of the STEOP.

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

Course evaluation

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

Additional information

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 

Lecturers

Institute

Examination modalities

Project, report writing, and oral discussion.

Course registration

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.

Language

English