Probabilistically Checkable Proofs Over the Reals.

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

theorem prover
stochastic logic programs
theorem proving
constraint databases
formal proofs
database
equational theories
natural deduction
mathematical proofs
formal proof
decision procedures
hidden markov models
expert systems
data structure
optimal solution
neural network
data sets