QIP = PSPACE.

Rahul Jain Zhengfeng Ji Sarvagya Upadhyay John Watrous

Published in: J. ACM (2011)

Keyphrases

temporal logic
mazurkiewicz traces
decision procedures
complexity bounds
databases
machine learning
knowledge base
lower bound
active learning