BDD based synthesis of Boolean functions using memristors.
Sayak ChakrabortiPaturi Varun ChowdharyKamalika DattaIndranil SenguptaPublished in: IDT (2014)
Keyphrases
- boolean functions
- binary decision diagrams
- functional decomposition
- uniform distribution
- threshold functions
- membership queries
- dnf formulae
- prime implicants
- functional properties
- read once formulas
- polynomial size
- linear threshold
- heuristic search algorithms
- multi valued
- disjunctive normal form
- machine learning
- pseudo boolean functions