Besonderer Beliebtheit erfreuen sich in diesem Zusammenhang die von Bryant 1985 eingef"uhrten Ordered Binary Decision Diagrams (OBDDs): Sie werden insbesondere in den Bereichen Verifikation und Logiksynthese auch industriell erfolgreich eingesetzt.

Mit wachsender Zahl von Anwendungen sind auch inhärente Nachteile sichtbar geworden und haben insbesondere in den letzten
fünf Jahren zu Weiterentwicklungen des Basiskonzeptes geführt. Dabei hat sich eine ganze Familie von graphbasierten Funktionsdarstellungen entwickelt, die je nach Anwendungsgebiet Vorteile gegenüber den klassischen OBDDs bieten.

Es wird eine Klassifizierung der verschiedenen Ansätze sowohl aus theoretischer wie auch praktischer Sicht gegeben. Es werden diverse Datenstrukturen für Boolesche (und ganzzahlige) Funktionen vorgestellt und deren Vor- und Nachteile untersucht. 

Voraussetzung für die Vorlesung sind elementare Kenntnisse der Booleschen Algebra. Weiterhin sind Erfahrungen mit einer höheren  Programmiersprache hilfreich. Die Vorlesung ergänzt sich in idealer Weise mit dem Seminar Sat Engines. Interessierten Teilnehmern kann eine an die Vorlesung  anschließende Studien- oder Diplomarbeit angeboten werden. Die Themen orientieren sich an aktuellen, praxisrelevanten Fragestellungen, die im Rahmen eines Kooperationsvertrages mit der Industrie untersucht werden.

Die Vorlesung wird in mehreren Blöcken stattfinden, die auf das Wintersemester verteilt sind. Details werden per Aushang und im Internet bekanntgegeben. Weitere Informationen gibt es bei Wolfgang Günther (Raum 051-01-030, guenther@informatik.uni-freiburg.de).