TeachingTeaching
Here we list the lectures and seminars associated with our group.Please also note our thesis advertisements at the Offers page.
Winter term 2024/2025
| Advanced Topics in SAT Solving | Seminar (3 ECTS) | |
| Information Exchange Beyond Conflict Clauses in Distributed SAT Solving | Praxis der Forschung (20 ECTS) |