Ein Algorithmus für die Komprimierung und Dekomprimierung von binären Entscheidungsdiagrammen reduziert in vielen Fällen die Größe des BDD auf 1-2 Bits pro Knoten.
VERSIONSVERLAUF
- Version Source%20Files%20%2B%20Paper veröffentlicht auf 2009-03-22
Mehrere Korrekturen und Updates - Version N/A veröffentlicht auf 2009-03-22
Programmdetails
- Kategorie: System-Utilities > Andere
- Verlag: bddcompression.sf.net
- Lizenz: kostenlos
- Preis: N/A
- Version: Array
- Plattform: windows