Υλοποίηση συστήματος για την εμπειρική αξιολόγηση τυχαιοποιημένων αλγορίθμων επίλυσης του προβλήματος της ικανοποιησιμότητας Διπλωματική Εργασία Πανεπιστήμιο Πατρών Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής - ΛΑΛΑς, ΕΥΘΥΜΙΟς (Πανεπιστήμιο Πατρών Τμήμα ΤΜΗΥΠ, 2003)