C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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