Realizing Boolean Functions Using Probabilistic Spin Logic (PSL).
Vaibhav AgarwalSneh SaurabhPublished in: VLSI Design (2019)
Keyphrases
- boolean functions
- multi valued
- truth table
- probabilistic logic
- uniform distribution
- binary decision diagrams
- probability theory
- prime implicants
- membership queries
- dnf formulae
- logic programming
- threshold functions
- probabilistic model
- relevant variables
- bayesian networks
- bi decomposition
- modal logic
- linear threshold
- functional properties
- polynomial size
- automated reasoning
- disjunctive normal form
- inductive learning
- dnf formulas
- abductive reasoning
- probabilistic reasoning