Login / Signup
How to Delegate Computations: The Power of No-Signaling Proofs.
Yael Tauman Kalai
Ran Raz
Ron Rothblum
Published in:
Electron. Colloquium Comput. Complex. (2013)
Keyphrases
</>
power consumption
neural network
decision making
evolutionary algorithm
communication networks
theorem proving
long term
computational power
formal proofs