Sign in

Proof-of-Burn.

Kostis KarantiasAggelos KiayiasDionysis Zindros
Published in: Financial Cryptography (2020)
Keyphrases
  • information retrieval
  • computational complexity
  • geometry theorem proving
  • neural network
  • similarity measure
  • bayesian networks
  • search algorithm
  • preprocessing
  • control system
  • theorem prover
  • theorem proving