Multi-Prover Quantum Merlin-Arthur Proof Systems with Small Gap

Attila Pereszlényi

Published in: CoRR (2012)

Keyphrases

theorem prover
theorem proving
knowledge based systems
data mining
small number
computer systems
complex systems
systems require
machine learning
computer vision
knowledge base
decision trees
image retrieval
information retrieval systems
computing systems