TU Bergakademie Freiberg | Fakultät für Mathematik und Informatik

1. Workshop Boolesche Probleme

Galina Kempe, Bernd Steinbach, TU Bergakademie Freiberg, Institut für Informatik

Zusammenfassung
Es werden zwei Darstellungsarten einer Booleschen Funktion (TVL und ROBDD) unter dem Aspekt des zur Abspeicherung der Funktion im Rahmen der Programme XBOOLE und BDD benötigten Speicherplatzes verglichen. Der Vergleich wurde mit den Daten aus den Benchmarks LGSynth93 durchgeführt. Für einige Benchmarks liedern TVL und BDD vergleichbare Ergebnisse, für die meisten Benchmarks hat sich TVL als günstigere Darstellung erwiesen, für einige andere ROBDD. Um die Konvertierung zwischen beiden Strukturen zu realisieren, wurden entsprechende Programme erstellt.