Počet záznamů: 1
Boolean Functions with a Simple Certificate for CNF Complexity.
SYS 0440854 LBL 00852^^^^^2200265^^^450 005 20240103205715.0 100 $a 20150204d m y slo 03 ba 101 0-
$a eng 102 $a US 200 1-
$a Boolean Functions with a Simple Certificate for CNF Complexity. 210 $a Piscataway $c Rutgers Center for Operations Research $d 2010 215 $a 30 s. 225 1-
$a Technical Report $v RRR 2-2010 610 0-
$a Boolean functions 610 0-
$a CNF representations 700 -1
$3 cav_un_auth*0266760 $a Čepek $b O. $y CZ $4 070 701 -1
$3 cav_un_auth*0016026 $a Kučera $b P. $y CZ $4 070 701 -1
$3 cav_un_auth*0100825 $a Savický $b Petr $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1