PROGRAMS BY bddcompression.sf.net
-
BDD compression Free
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.
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.