Login / Signup
Improved Soundness for QMA with Multiple Provers
Alessandro Chiesa
Michael A. Forbes
Published in:
CoRR (2011)
Keyphrases
</>
real time
neural network
information retrieval
wide range
database
databases
information systems
metadata
multimedia
data structure
cooperative
theorem prover