Proof of Work Without All the Work.

Diksha Gupta Jared Saia Maxwell Young

Published in: CoRR (2017)

Keyphrases

theorem proving
wireless sensor networks
linear logic
digital libraries
theorem prover
databases
machine learning
computer vision
cooperative
feature space
mobile robot
logical rules
proof planning