HotPoW: Finality from Proof-of-Work Quorums.

Patrik Keller Rainer Böhme

Published in: CoRR (2019)

Keyphrases

theorem proving
linear logic
proof planning
neural network
cooperative
theorem prover
databases
learning algorithm
image processing
optimal solution
video sequences
probability distribution