Author:
Batu Tuğkan,Rubinfeld Ronitt,White Patrick
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference9 articles.
1. Non-deterministic exponential time has two-prover interactive protocols;Babai;Computational Complexity,1991
2. Checking computations in polylogarithmic time;Babai,1991
3. Proof verification and the hardness of approximation problems;Arora;Journal of the ACM,1998
4. Fast approximate probabilistically checkable proofs;Ergun;Information and Computation,2004
5. Spot-checkers;Ergun;Journal of Computer and System Sciences,2000
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献