Two-Message Quantum Interactive Proofs Are in PSPACE.
Rahul JainSarvagya UpadhyayJohn WatrousPublished in: FOCS (2009)
Keyphrases
- decision procedures
- user friendly
- virtual reality
- theorem proving
- computer graphics
- highly interactive
- neural network
- temporal logic
- short message service
- quantum computation
- graphical interface
- quantum evolutionary algorithm
- automated theorem provers
- formal proof
- quantum inspired
- quantum computing
- interactive video
- database
- databases