Proofs of Useful Work.

Marshall Ball Alon Rosen Manuel Sabin Prashant Nalini Vasudevan

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

Keyphrases

theorem proving
formal proof
formal proofs
evolutionary algorithm
theorem prover
decision procedures
equational theories
mathematical proofs
search space