TCS-TRA-1260 TCS Technical Report ZDD-Based Computation of the Number of Paths in a Graph by
Graph-Based Algorithms for Boolean Function Manipulation