An improved data parallel algorithm for Boolean function manipulation using BDDs.

Silvano Gai Maurizio Rebaudengo Matteo Sonza Reorda

Published in: PDP (1995)

Keyphrases

parallel algorithm
boolean functions
decision trees
noisy data
database systems
data structure
uniform distribution