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

week date topics slides exercises solutions
01 08.10 & 14.10 SAT basics pdf pdf

Literature

The course is partly based on the following books: Slides and exercises are available from this page. Recordings of the lectures (if lectures turn virtual) will be available from OLAT.