Μελέτη κατωφλιακών φαινομένων και διαθέσιμων αλγορίθμων στο 3SAT Διπλωματική εργασία. Πανεπιστήμιο Πατρών. Πολυτεχνική Σχολή Τμήμα Μηχανικών Η/Υ & Πληροφορικής Γεώργιος Γεωργιάδης - ΓΕΩΡΓΙΑΔΗΣ, ΓΕΏΡΓΙΟΣ (Πανεπιστήμιο Πατρών. ΤΜήμα ΤΜΗΥΠ, 2003)