Calculation of unate cube set algebra using zero-suppressed BDDs
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems