Probabilistic Checking of Proofs; A New Characterization of NP
Sanjeev AroraShmuel SafraPublished in: FOCS (1992)
Keyphrases
- probabilistic model
- bayesian networks
- theorem proving
- data driven
- case study
- real time
- np complete
- generative model
- neural network
- computational complexity
- uncertain data
- graphical models
- equational theories
- probabilistic relational
- probabilistic approaches
- theorem prover
- conditional probabilities
- multi agent
- information systems
- learning algorithm
- databases