Fast approximate probabilistically checkable proofs.

Funda Ergün Ravi Kumar Ronitt Rubinfeld

Published in: Inf. Comput. (2004)

Keyphrases

theorem prover
databases
multiresolution
theorem proving
database
machine learning
knowledge base
optimal solution
data structure
data streams
formal proof
stochastic logic programs