Advanced BDD Optimization, Fachbücher von Rolf Drechsler, Görschwin Fey, Rudiger Ebendt

Das Buch "Advanced BDD Optimization" bietet eine umfassende und moderne Darstellung der Optimierung von reduzierten geordneten Binärentscheidungsdiagrammen (BDDs) im Kontext von VLSI CAD. Es behandelt sowohl etablierte als auch neuere Konzepte und zeigt die neuesten Ergebnisse in der BDD-Optimierung auf. Die Autoren, Rolf Drechsler, Rudiger Ebendt und Görschwin Fey, beleuchten verschiedene Aspekte der Pfade in BDDs und die Anwendung effizienter unterer Schranken während des Optimierungsprozesses. Ein besonderes Augenmerk liegt auf der Fusion der Konzepte von BDD und SAT, was in der aktuellen Forschung zunehmend an Bedeutung gewinnt. Die vorgestellten Algorithmen, darunter der Branch-and-Bound-Algorithmus und der generische A*-Algorithmus, bieten effektive Techniken zur Erkundung grosser Suchräume. Diese Ansätze stammen aus der Künstlichen Intelligenz und eröffnen neue Perspektiven für die Designraumexploration in der VLSI CAD-Community.