Graphillion: software library for very large sets of labeled graphs
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems