Super-efficient rational proofs.

Pablo Daniel Azar Silvio Micali

Published in: EC (2013)

Keyphrases

machine learning
search engine
decision making
database
data mining
genetic algorithm
neural network
information systems
image segmentation
cost effective
computationally expensive
theorem prover