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