Publications
2004
Symbolic Representation and Manipulation of Discrete Functions
Jörn Ossowski (Diploma Thesis)
FEVBDDs are well suited for algebraic computation. This is because the multiplication and addition with a constant value can be calculated without a traversal. In this thesis Normalized Algebraic Decision Diagrams (NADDs) were introduced, which share the same advantages as FEVBDDs. Additionally, the maximum and mimimum value of a function can be calculated in constant time.
The JJS-BDD library is not available anymore. JINC is the redevelopment.
FEVBDDs are well suited for algebraic computation. This is because the multiplication and addition with a constant value can be calculated without a traversal. In this thesis Normalized Algebraic Decision Diagrams (NADDs) were introduced, which share the same advantages as FEVBDDs. Additionally, the maximum and mimimum value of a function can be calculated in constant time.
The JJS-BDD library is not available anymore. JINC is the redevelopment.
