Počet záznamů: 1
Boolean Functions with a Simple Certificate for CNF Complexity.
- 1.
SYSNO 0440854 Název Boolean Functions with a Simple Certificate for CNF Complexity. Tvůrce(i) Čepek, O. (CZ)
Kučera, P. (CZ)
Savický, Petr (UIVT-O) SAI, RID, ORCIDVyd. údaje Piscataway: 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 CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. US Klíč.slova Boolean functions * CNF representations Trvalý link http://hdl.handle.net/11104/0243946 Název souboru Staženo Velikost Komentář Verze Přístup 02_2010.pdf 0 873 KB Jiná povolen
Počet záznamů: 1