[Back]


Diploma and Master Theses (authored and supervised):
I. Kammerhofer:
"Disjunctive Answer Set Programming with Backjumping and Learning";
Supervisor: S. Woltran, M. Maratea; Institute of Logic and Computation, 2020; final examination: 2020-04-21.

Created from the Publication Database of the Vienna University of Technology.