Košík

  1. 1.
    0440854 - ÚI 2015 US eng V - Výzkumná zpráva
    Čepek, O. - Kučera, P. - Savický, Petr
    Boolean Functions with a Simple Certificate for CNF Complexity..
    Piscataway: Rutgers Center for Operations Research, 2010. 30 s. Technical Report, RRR 2-2010.
    Grant CEP: GA MŠk(CZ) 1M0545
    Grant ostatní:GA ČR GP201/07/P168; GA ČR GA201/07/0205
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: Boolean functions * CNF representations
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0243946
    Název souboruStaženoVelikostKomentářVerzePřístup
    02_2010.pdf0873 KBJinápovolen