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