Exact Model Counting of Query Expressions: Limitations of Propositional Methods
Graph-Based Algorithms for Boolean Function Manipulation