| Scalability and Diversification in Modern SAT Solving |
Seminar |
WS 2021/22 |
| Practical SAT Solving |
Lecture and Exercises |
SS 2021 |
| Scalability and Diversification in Modern SAT Solving |
Seminar |
WS 2020/21 |
| Practical SAT Solving |
Lecture and Exercises |
SS 2020 |
| SAT Community Karlsruhe (SACK) |
Seminar |
WS 2019/20 |
| Algorithms 1 |
Exercises and Lecture Organization |
SS 2019 |
| Algorithms 1 |
Exercises and Lecture Organization |
SS 2018 |
| Programming |
Exercises and Lecture Organization |
WS 2013/14 |
| Programming |
Exercises and Lecture Organization |
WS 2012/13 |
