Η Μετάβαση Φάσης στο Random - SAT ('νω φράγματα στο κατώφλι μη - ικανοποιησιμότητας) Διπλωματική εργασία. Πανεπιστήμιο Πατρών. [Πολυτεχνική Σχολή] Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής - Γραμματικόπουλος, Ιωάννης (Πανεπιστήμιο Πατρών. Τμήμα ΤΜΗΥΠ, 2003)