Two-message quantum interactive proofs are in PSPACE

Rahul Jain Sarvagya Upadhyay John Watrous

Published in: CoRR (2009)

Keyphrases

decision procedures
website
highly interactive
user interaction
theorem prover
user friendly
quantum computation
quantum computing
graphical interface
temporal logic
artificial intelligence
virtual reality
email
evolutionary algorithm
case study
quantum inspired
computer vision