Calculation of unate cube set algebra using zero-suppressed BDDs
Graph-Based Algorithms for Boolean Function Manipulation