Multiple BDD based matrix multiplication

Binary Decision Diagrams (BDDs) are the most frequently used data structure for handling Boolean functions because of their excellent efficiency in terms of time and space. Algebraic Decision Diagrams (ADDs) have been used to solve general purpose problems such as Matrix Multiplication, logic synthesis and Formal Verification. We propose a Multiple BDD based Matrix Multiplication and compare the performance with ADD and WBDD based matrix multiplication. The results of the proposed method are promising and can be applied to other matrix related problems.