Probabilistic manipulation of Boolean functions using free Boolean diagrams.
Amelia ShenSrinivas DevadasAbhijit GhoshPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1995)
Keyphrases
- boolean functions
- uniform distribution
- threshold functions
- prime implicants
- probabilistic model
- multi valued
- relevant variables
- truth table
- bayesian networks
- dnf formulae
- functional properties
- linear threshold
- membership queries
- bi decomposition
- linear functions
- binary decision diagrams
- read once formulas
- probability theory
- probabilistic reasoning