On April 22, 2020 Thomas Krismayer defended his dissertation to earn his doctoral degree! Congratulations!
Special thanks goes to all members of the committee. Rick Rabiser (supervisor), Armin Biere (head of the committee), Josef Küng (committee member), and Klaus Schmid (external assessor, University of Hildesheim).