Počet záznamů: 1  

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

  1. 1.
    SYSNO0369662
    NázevOn 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
    CEZAV0Z10190503 - MU-W (2005-2011)
    Jazyk dok.eng
    Země vyd.SG
    Klíč.slova proof complexity * Nisan-Wigderson generator
    URLhttp://www.worldscinet.com/jml/11/1101/S0219061311000979.html
    Trvalý linkhttp://hdl.handle.net/11104/0203675
    Název souboruStaženoVelikostKomentářVerzePřístup
    Krajicek1.pdf3436.2 KBVydavatelský postprintvyžádat
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.