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

Jazyk

angličtina

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í

Odkazy

Organizační jednotka

Vysoká škola finanční a správní
Změněno: 31. 3. 2011 10:37, Mgr. Daniela Stýblová