
Dr. rer. nat. Markus Iser
- Research
- Parallel SAT Solving, Algorithm Portfolios
- Room: 208
- Phone: +49 721 608-44232
- Fax: +49 721 608-43088
- markus iser ∂does-not-exist.kit edu
- github.com/Udopia
Courses
Title | Type | Semester |
---|---|---|
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 |