Login / Signup
On the Concrete-Efficiency Threshold of Probabilistically-Checkable Proofs.
Eli Ben-Sasson
Alessandro Chiesa
Daniel Genkin
Eran Tromer
Published in:
Electron. Colloquium Comput. Complex. (2012)
Keyphrases
</>
artificial neural networks
real time
multiscale
theorem prover
data sets
real world
machine learning
information systems
image processing
special case
decision procedures
thresholding method