
Teaching
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) |