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