Výsledky vyhledávání
- 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ŠMT(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/0243946Název souboru Staženo Velikost Komentář Verze Přístup 02_2010.pdf 0 873 KB Jiná povolen - 2.0351382 - ÚI 2013 RIV NL eng J - Článek v odborném periodiku
Čepek, O. - Kučera, P. - Savický, Petr
Boolean Functions with a Simple Certificate for CNF Complexity.
Discrete Applied Mathematics. Roč. 160, 4-5 (2012), s. 365-382. ISSN 0166-218X. E-ISSN 1872-6771
Grant CEP: GA MŠMT(CZ) 1M0545
Grant ostatní: GA ČR(CZ) GP201/07/P168; GA ČR(CZ) GAP202/10/1188
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Boolean functions * CNF representations
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.718, rok: 2012
Trvalý link: http://hdl.handle.net/11104/0191148