A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra
Graph-Based Algorithms for Boolean Function Manipulation