Boolean Function Manipulation on a Parallel System Using BDDs.
F. BianchiFulvio CornoMaurizio RebaudengoMatteo Sonza ReordaRoberto AnsaloniPublished in: HPCN Europe (1997)
Keyphrases
- boolean functions
- binary decision diagrams
- uniform distribution
- relevant variables
- membership queries
- read once formulas
- multi valued
- statistical queries
- linear functions
- functional properties
- decision trees
- disjunctive normal form
- boolean formula
- monotone boolean functions
- functional decomposition
- polynomial size
- stack filters
- planning problems
- heuristic search