|
|
|
Proseminar: Entwurfsmethoden - Wintersemester 05/06
Zeit / Ort
Vorstellung des Proseminars am Montag, 24.10. (Semesterbeginn), von 16-17.30 Uhr in Raum 101-026
Mi, 14 - 16 Uhr, Raum 51-00-034
|
Zeitplan:
- 24.10.05: Vorstellung des Proseminars
- 26.10.05: Vergabe der Themen
- 02.11.05: Einführungsvorlesung
- 09.11.05: Fragestunde
- 16.11.05: Fragestunde
- 23.11.05: OBDDs und Variablenordnungen
- 30.11.05: OKFDDs und Zerlegungstypen (Ziaie, Najib)
- 07.12.05: SAT-Techniken (Meyer, Jan)
- 14.12.05: And-Inverter-Graphen (Fuchs, Markus)
- 21.12.05: Arithmetische Schaltkreise (Teil 1) (Struve, Vanessa)
- 11.01.06: Arithmetische Schaltkreise (Teil 2) (Bertsch, Holger)
- 18.01.06: Partitionierung von (Hyper-)Graphen (Spyra, Damian)
- 25.01.06: Globales Routing (Wehrle, Dennis)
- 01.02.06: Lineare Optimierung mit dem Simplex-Verfahren (Benites, Guillermo)
- 08.02.06: Ganzzahlige lineare Optimierung (1) (Emler, Jessica)
- 15.02.06: Ganzzahlige lineare Optimierung (2) (Wiedermann, Norbert)
|
|
