On the proof complexity of the Nisan-Wigderson generator based on a hard NP cap coNP function

Jan Krajícek. On the proof complexity of the Nisan-Wigderson generator based on a hard NP cap coNP function. Electronic Colloquium on Computational Complexity (ECCC), 17:54, 2010. [doi]

Abstract

Abstract is missing.