Winter term 2025

This webpage is for all seminars (and seminar/projects) with the lecturer Johannes P. Wallner.

The seminar this term is based on the Handbook of Satisfiability, second edition (2021). This handbook is fully accessible from the TU Graz library. 

If you want to attend this seminar, send an eMail to johannes.p.wallner@tugraz.at with the seminar (or seminar/project) course you want to attend this course. 

In winter term 2025, the seminar will start later (November).

Remark: registering in TUGrazOnline is not sufficient for registering to a seminar (an eMail to the lecturer is required).