1 paper · 1 filter
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…