[Back]


Diploma and Master Theses (authored and supervised):
M. Zisser:
"Solving #SAT on the GPU with Dynamic Programming and OpenCL";
Supervisor: S. Woltran, J. Fichte; Institute of Logic and Computation, 2018; final examination: 2018-06-04.

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