[Back]


Diploma and Master Theses (authored and supervised):

C. Vazcula:
"The Hobel algorithm - SAT Lösung mit GPU über DPLL";
Supervisor: E. Bartocci, A. Biere; Institute of Computer Engineering, 2016.



Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_253797.pdf