Semidefinite Programming

QIP = PSPACE

This work considers the quantum interactive proof system model of computation, which is the (classical) interactive proof system …

Rahul Jain, Zhengfeng Ji, Sarvagya Upadhyay, John Watrous