QIP = PSPACE.

Rahul Jain Zhengfeng Ji Sarvagya Upadhyay John Watrous

Published in: STOC (2010)

Keyphrases

mazurkiewicz traces
temporal logic
decision procedures
pspace complete
objective function
complexity bounds