Login / Signup
Probabilistically Checkable Proofs The Easy Way
Marius Zimand
Published in:
Electron. Colloquium Comput. Complex. (2001)
Keyphrases
</>
real time
theorem proving
neural network
search engine
computer vision
image processing
case study
three dimensional
support vector
information technology
knowledge representation
decision procedures
stochastic logic programs