Compressing Binary Decision Diagrams (2008)
Hansen, Esben Rune, Rao, S. Srinivasa, Tiedemann, Peter
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 decompression can be done in...
Interactive Configuration by Regular String Constraints (2006)
Hansen, Esben Rune, Andersen, Henrik Reif
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 Diagram (BDD)....