Proof of Work Without All the Work.

Diksha Gupta Jared Saia Maxwell Young

Published in: ICDCN (2018)

Keyphrases

neural network
proof planning
information retrieval
linear logic
real time
search engine
case study
image segmentation
database systems
data structure
lower bound
expert systems
control system
mobile robot
proof theory