Number of the records: 1
On the proof complexity of the Nisan-Wigderson generator based on a hard NP boolean AND coNP function
- 1.Krajíček, J. On the proof complexity of the Nisan-Wigderson generator based on a hard NP boolean AND coNP function. Journal of Mathematical Logic. 2011, 11(1), 11-27. ISSN 0219-0613. E-ISSN 1793-6691. Available: doi: 10.1142/S0219061311000979.
Number of the records: 1