Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions.
Gianpiero CabodiPublished in: CAV (2001)
Keyphrases
- binary decision diagrams
- boolean functions
- decision diagrams
- uniform distribution
- dnf formulae
- prime implicants
- functional decomposition
- multi valued
- membership queries
- relevant variables
- functional properties
- threshold functions
- dnf formulas
- desirable properties
- linear functions
- polynomial size
- disjunctive normal form
- bi decomposition
- planning problems