Multi-prover Proof-of-Retrievability.

Maura B. Paterson Douglas R. Stinson Jalaj Upadhyay

Published in: IACR Cryptol. ePrint Arch. (2016)

Keyphrases

theorem prover
theorem proving
automated theorem proving
proof search
artificial intelligence
inference rules
real time
information retrieval
genetic algorithm
computer vision
first order logic
prior art