Compressing Binary Decision Diagrams

Esben Rune Hansen, S. Srinivasa Rao, Peter Tiedemann

The paper introduces a new technique for compressing Binary Decision Diagrams in those cases where random access is not required. Using this technique, compression and decompressio…