en | de

Constraint Solving

master program

VO2 + PS2  WS 2021/2022  703304 + 703305


Content

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


Schedule


Literature

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.