Scientific work in the area of logic
Binary Decision Diagrams (BDDs) are objects to compactly represent models of propositional formulas. We discuss recent literature on Binary Decision Diagrams (BDDs) in order to gain a picture on the current research trends in this area, with a focus on applications in the field of AI.
Students can finish this course in German or EnglishECTS Breakdown:20h Meetings55h Preparation of presentation
Not necessary