13 citations · 35 across the 9 of their papers we have counts for
1 paper · 2 filters
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…