u
2010
Boolean functions with a simple certificate for CNF complexity. RUTCOR Research Report 2
ČEPEK, Ondřej, Petr KUČERA a Petr SAVICKÝ
Základní údaje
Originální název
Boolean functions with a simple certificate for CNF complexity. RUTCOR Research Report 2
Autoři
ČEPEK, Ondřej, Petr KUČERA a Petr SAVICKÝ
Vydání
New Brunswick, New Jersey, USA, 2010
Další údaje
Typ výsledku
Účelové publikace
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Spojené státy
Utajení
není předmětem státního či obchodního tajemství
Organizační jednotka
Vysoká škola finanční a správní
Zobrazeno: 15. 11. 2024 08:05