{Graph-Based Algorithms for Boolean Function Manipulation}