Nisan-Wigderson generators in proof systems with forms of interpolation

Ján Pich. Nisan-Wigderson generators in proof systems with forms of interpolation. Electronic Colloquium on Computational Complexity (ECCC), 17:46, 2010. [doi]

Abstract

Abstract is missing.