- Carsten Lund, Lance Fortnow, Howard Karloff, and Noam Nisan. Algebraic methods for interactive
proof systems. Journal of the ACM, 39(4):859-868,
October 1992.
References
and Citations.
- Carsten Lund and Mihalis Yannakakis. On the hardness of approximating
minimization problems. Journal of the ACM,
41(5):960-981, September 1994.
References,
Citations,
etc.
- Sanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, and Mario
Szegedy. Proof
verification and the hardness of approximation problems.
Journal of the ACM, 45(3):501-555, May 1998.
References,
etc.
Shortcuts: