QIP = PSPACE.

Rahul Jain Zhengfeng Ji Sarvagya Upadhyay John Watrous

Published in: Commun. ACM (2010)

Keyphrases

mazurkiewicz traces
decision procedures
temporal logic
complexity bounds
data sets
knn
pspace complete