A Comment on 'Graph-Based Algorithm for Boolean Function Manipulation'.

Elena Dubrova Luca Macchiarulo

Published in: IEEE Trans. Computers (2000)

Keyphrases

boolean functions
graph based algorithm
uniform distribution
relevant variables
membership queries
multi valued
functional properties
decision trees
disjunctive normal form
linear functions
dnf formulas
matching algorithm
database
gray scale
query processing
data analysis
data streams
monotone boolean functions