Holographic Proofs and Derandomization

Rahul Santhanam, Dieter van Melkebeek. Holographic Proofs and Derandomization. In 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 7-10 July 2003, Aarhus, Denmark. pages 269-283, IEEE Computer Society, 2003. [doi]

Abstract

Abstract is missing.