Proof of Bid as Alternative to Proof of Work.

Wai Kok Chan Ji-Jian Chin Vik Tor Goh

Published in: ACeS (2019)

Keyphrases

theorem proving
linear logic
neural network
geometry theorem proving
real time
databases
theorem prover
proof planning
information retrieval
computer vision
bayesian networks