Login / Signup
(Short Paper) PieceWork: Generalized Outsourcing Control for Proofs of Work.
Philip Daian
Ittay Eyal
Ari Juels
Emin Gün Sirer
Published in:
Financial Cryptography Workshops (2017)
Keyphrases
</>
control system
control method
information systems
information technology
neural network
theorem proving
equational theories
databases
decision procedures
control problems
theorem prover
first order logic
evolutionary algorithm
search algorithm
image sequences
computer vision
social networks
machine learning