A Better Proof-of-Work Fork Choice Rule.

Karl Kreder Shreekara Shastry Apostolos Tzinas Sriram Vishwanath Dionysis Zindros

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

logical rules
data sets
image sequences
association rules
classification rules
theorem proving
active databases
rule learning
rule discovery
data mining
machine learning
search engine
information extraction
theorem prover
linear logic
mathematical proofs