Probabilistic Checking of Proofs: A New Characterization of NP.

Sanjeev Arora Shmuel Safra

Published in: J. ACM (1998)

Keyphrases

bayesian networks
probabilistic model
decision trees
computational complexity
np complete
generative model
machine learning
data driven
probabilistic networks
databases
genetic algorithm
theorem prover
theorem proving
probabilistic reasoning
probabilistic relational