Parametric Circuit Representation Using Inductive Boolean Functions.
Aarti GuptaAllan L. FisherPublished in: CAV (1993)
Keyphrases
- boolean functions
- functional decomposition
- multi valued
- uniform distribution
- binary decision diagrams
- parametric representation
- threshold functions
- high speed
- machine learning
- truth table
- dnf formulae
- prime implicants
- knowledge base
- pseudo boolean functions
- read once formulas
- disjunctive normal form
- membership queries
- multi class
- relevant variables
- dnf formulas