en | de

Constraint Solving

master program

VO2 + PS2  WS 2021/2022  703304 + 703305


The elective module Constraint Solving provides an introduction into the theory and practice of constraint solving. The following topics will be discussed:



The course is partly based on the following books: Slides and exercises are available from this page. Recordings of the lectures are available from OLAT.