Počet záznamů: 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. Dostupné z: doi: 10.1142/S0219061311000979.
Počet záznamů: 1