Počet záznamů: 1
Boolean Functions with a Simple Certificate for CNF Complexity
SYS 0351382 LBL 01855^^^^^2200241^^^450 005 20240103194319.5 014 $a 000301211100002 $2 WOS 014 $a 84856084445 $2 SCOPUS 017 7-
$a 10.1016/j.dam.2011.05.013 $2 DOI 100 $a 20110719d m y slo 03 ba 101 0-
$a eng 102 $a NL 200 1-
$a Boolean Functions with a Simple Certificate for CNF Complexity 215 $a 18 s. 463 -1
$1 001 cav_un_epca*0256497 $1 011 $a 0166-218X $e 1872-6771 $1 200 1 $a Discrete Applied Mathematics $v Roč. 160, 4-5 (2012), s. 365-382 $1 210 $c Elsevier 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 $z K 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