4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.AI2008
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…
cs.AI2006★ 4 cited
Interactive Configuration by Regular String Constraints
Esben Rune Hansen, Henrik Reif Andersen
A product configurator which is complete, backtrack free and able to compute the valid domains at any state of the configuration can be constructed by building a Binary Decision Di…