Probabilistically Checkable Proofs the Easy Way.

Published in: IFIP TCS (2002)

Keyphrases

theorem prover
database
databases
real world
image processing
bayesian networks
cooperative
lower bound
theorem proving
decision procedures