Representation and symbolic manipulation of linearly inductive Boolean functions.
Aarti GuptaAllan L. FisherPublished in: ICCAD (1993)
Keyphrases
- boolean functions
- binary decision diagrams
- functional decomposition
- multi valued
- uniform distribution
- symbolic representation
- relevant variables
- threshold functions
- membership queries
- dnf formulae
- machine learning
- prime implicants
- symbolic description
- dnf formulas
- read once formulas
- knowledge representation
- polynomial size
- inductive learning