Probabilistic Verification of Boolean Functions.
Jawahar JainJacob A. AbrahamJames R. BitnerDonald S. FussellPublished in: Formal Methods Syst. Des. (1992)
Keyphrases
- boolean functions
- uniform distribution
- dnf formulae
- probabilistic model
- membership queries
- threshold functions
- relevant variables
- functional properties
- multi valued
- prime implicants
- model checking
- linear threshold
- read once formulas
- bayesian networks
- binary decision diagrams
- probabilistic databases
- uncertain data
- truth table
- polynomial size
- pseudo boolean functions