SAtRes    Teaching

Teaching

Here we list the lectures and seminars associated with our group.
Please also note our thesis advertisements at the Offers page.

Winter term 2025/2026

Advanced Topics in SAT SolvingSeminar (3 ECTS)

Summer term 2025

Practical SAT SolvingLecture with exercises (5 ECTS)

Winter term 2024/2025

Advanced Topics in SAT SolvingSeminar (3 ECTS)