Tie-Breaking Rule Based on Partial Proof of Work in a Blockchain.

Akira Sakurai Kazuyuki Shudo

Published in: CoRR (2024)

Keyphrases

tie breaking
expert systems
rule based systems
satisfiability testing
data driven
theorem proving
rule base
theorem prover
mathematical proofs
linear logic
multi step
cooperative
information systems
simulated annealing
computational complexity
natural language
real time