Počet záznamů: 1  

Boolean Functions with a Simple Certificate for CNF Complexity.

    1.
    SYSNO ASEP0440854
    Druh ASEPV - Výzkumná zpráva
    Zařazení RIVZáznam nebyl označen do RIV
    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
    EdiceTechnical Report
    Č. sv. ediceRRR 2-2010
    Poč.str.30 s.
    Jazyk dok.eng - angličtina
    Země vyd.US - Spojené státy americké
    Klíč. slovaBoolean functions ; CNF representations
    Vědní obor RIVBA - Obecná matematika
    CEP1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2015
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.

Přijmout všeNastaveníOdmítnout vše