Počet záznamů: 1
DNF Tautologies with a Limited Number of Occurrences of Every Variable
SYS 0403463 LBL 00000nam^^22^^^^^^^^450 005 20240103181734.3 014 $a 0346639545 $2 SCOPUS 014 $a 000087413600019 $2 WOS 017 7-
$a 10.1016/S0304-3975(00)00036-0 $2 DOI 101 0-
$a eng $d eng 102 $a DE 200 1-
$a DNF Tautologies with a Limited Number of Occurrences of Every Variable 215 $a 4 s. 463 -1
$1 001 cav_un_epca*0257658 $1 011 $a 0304-3975 $e 1879-2294 $1 200 1 $a Theoretical Computer Science $v Roč. 238, 1-2 (2000), s. 495-498 $1 210 $c Elsevier 610 1-
$a disjunctive normal form 610 1-
$a tautology 610 1-
$a occurences of variable 700 -1
$3 cav_un_auth*0100825 $a Savický $b Petr $p UIVT-O $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0100708 $a Sgall $b Jiří $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i.
Počet záznamů: 1