An algorithm for compression and decompression of Binary Decision Diagrams will in many cases reduce the size of the BDD to 1-2 bits per node.
VERSION HISTORY
- Version Source%20Files%20%2B%20Paper posted on 2009-03-22
Several fixes and updates - Version N/A posted on 2009-03-22
Program Details
- Category: System Utilities > Other
- Publisher: bddcompression.sf.net
- License: Free
- Price: N/A
- Version: Array
- Platform: windows