Diploma and Master Theses (authored and supervised):
R. Santillan Rodriguez:
"New Upper Bounds for the SAT/UNSAT Threshold for Shapes";
Supervisor: U. Egly;
Institut fuer Informationssysteme - AB Wissensbasierte Systeme,
2007;
final examination: 2007.