Publicly verifiable proofs of sequential work.

Mohammad Mahmoody Tal Moran Salil P. Vadhan

Published in: ITCS (2013)

Keyphrases

theorem proving
theorem prover
sufficient conditions
equational theories
formal proof
sequential search
formal proofs
logic programs
expert systems
special case
databases
database systems
clustering algorithm
sequential data
decision procedures
image processing
knowledge base