TCS-TRA-1260 TCS Technical Report ZDD-Based Computation of the Number of Paths in a Graph by
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems