Počet záznamů: 1
On the proof complexity of the Nisan-Wigderson generator based on a hard NP boolean AND coNP function
- 1.
SYSNO 0369662 Název On the proof complexity of the Nisan-Wigderson generator based on a hard NP boolean AND coNP function Tvůrce(i) Krajíček, Jan (MU-W) SAI, ORCID Zdroj.dok. Journal of Mathematical Logic. Roč. 11, č. 1 (2011), s. 11-27. - : World Scientific Publishing Druh dok. Článek v odborném periodiku Grant IAA100190902 GA AV ČR - Akademie věd LC505 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10190503 - MU-W (2005-2011) Jazyk dok. eng Země vyd. SG Klíč.slova proof complexity * Nisan-Wigderson generator URL http://www.worldscinet.com/jml/11/1101/S0219061311000979.html Trvalý link http://hdl.handle.net/11104/0203675 Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 3 436.2 KB Vydavatelský postprint vyžádat
Počet záznamů: 1