Počet záznamů: 1  

Boolean Functions with a Simple Certificate for CNF Complexity.

  1. 1.
    SYSNO0440854
    NázevBoolean Functions with a Simple Certificate for CNF Complexity.
    Tvůrce(i) Čepek, O. (CZ)
    Kučera, P. (CZ)
    Savický, Petr (UIVT-O) SAI, RID, ORCID
    Vyd. údajePiscataway: Rutgers Center for Operations Research, 2010
    Edice Technical Report , RRR 2-2010
    Druh dok.Výzkumná zpráva
    Grant 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika
    GP201/07/P168
    GA201/07/0205
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Jazyk dok.eng
    Země vyd.US
    Klíč.slova Boolean functions * CNF representations
    Trvalý linkhttp://hdl.handle.net/11104/0243946
    Název souboruStaženoVelikostKomentářVerzePřístup
    02_2010.pdf0873 KBJinápovolen
     
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.