Esben Rune Hansen S. Srinivasa Rao Peter Tiedemann Compressing Binary Decision Diagrams http://arxiv.org/abs/0805.3267 2008 CoRR abs/0805.3267 db/journals/corr/corr0805.html#abs-0805-3267 informal publication