TCS-TRA-1476 TCS Technical Report Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation by
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems