On the OBDD-Representation of General Boolean Functions.
Heh-Tyan LiawChen-Shang LinPublished in: IEEE Trans. Computers (1992)
Keyphrases
- boolean functions
- uniform distribution
- functional decomposition
- multi valued
- binary decision diagrams
- randomly generated
- special case
- threshold functions
- dnf formulae
- membership queries
- prime implicants
- read once formulas
- relevant variables
- linear threshold
- polynomial size
- disjunctive normal form
- functional properties
- upper bound
- knowledge representation