QMA variants with polynomially many provers

Sevag Gharibian Jamie Sikora Sarvagya Upadhyay

Published in: CoRR (2011)

Keyphrases

theorem prover
np complete
data mining
knowledge base
image sequences
learning environment
natural language
lower bound
expert systems
medical images
theorem proving
sample complexity
hypothesis space