QMA variants with polynomially many provers.

Sevag Gharibian Jamie Sikora Sarvagya Upadhyay

Published in: Quantum Inf. Comput. (2013)

Keyphrases

np complete
information retrieval
theorem prover
pac learning
active learning
theorem proving
learning algorithm
expert systems