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]

Authors

Rahul Santhanam

This author has not been identified. Look up 'Rahul Santhanam' in Google

Dieter van Melkebeek

This author has not been identified. Look up 'Dieter van Melkebeek' in Google