BDD compression
prealphaDescription
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.
Categories
License
Update Notifications
User Reviews
Be the first to post a review of BDD compression!