| Αριθμός | Θέμα | Διαφάνειες σε PDF |
| 1 | Εισαγωγή στους Αλγορίθμους CAD |  |
| - | TCL/Readline | |
| 2 | Θεμέλια Δυαδικής Άλγεβρας | |
| 3 | Δυαδική Άλγεβρα καί Δι-επίπεδη Βελτιστοποίηση | |
| 4 | Ευριστική Δι-επίπεδη Βελτιστοποίηση - Αλγόριθμος ESPRESSO | |
| 5a | Δυαδικά Διαγράμματα Αποφάσεων (BDDs) | |
5b | Αλγόριθμοι Μακρύτερου Μονοπατιού και Slack | |
| 5c | STA Ανάλυση - Παραδείγματα | |
| 6 | Δυαδικά Διαγράμματα Αποφάσεων (BDDs) - Παρουσίαση R. Bryant | |
| 7 | Πολυ-επίπεδη Βελτιστοποίηση/Σύνθεση - I - Αλγεβρικό Μοντέλο | |
| 8 | Το Εργαλείο Λογικής Σύνθεσης SIS | |
| 9 | Πολυ-επίπεδη Βελτιστοποίηση/Σύνθεση - II - Boolean Μοντέλο και DCs | |
| 10 | Τεχνολογική Απεικόνιση/Αντιστοίχηση σε Βιβλιοθήκη | |
| 11 | Κατασκευαστική Δοκιμή | |
| 12 | Υπολογισμός Στατικών Πιθανοτήτων | |
Χ. Σωτηρίου - Tελευταία ενημέρωση - 5/10/2025.