Wissenschaftliches Arbeiten im Bereich der Logik
Binary Decision Diagrams (BDDs) sind Objekte zur kompakten Speicherung von Modellen aussagenlogischer Formeln. Anhand aktueller Literatur sollen Forschungstrends im Bereich der BDDs und insbesonders deren Einsatz in der AI besprochen werden.
Students can finish this course in German or EnglishECTS Breakdown:20h Meetings55h Preparation of presentation
Nicht erforderlich