Abstract
The celebrated IP - PSPACE theorem [Lund, Fortnow, Karloff, and Nisan, J. ACM, 39 (1992), pp. 859-868; Shamir, J. ACM, 39 (1992), pp. 869-877] allows ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
