Počet záznamů: 1
Encyclopedia of Algorithms
SYS 0447653 LBL 02050^^^^^2200313^^^450 005 20240103210636.9 017 70
$a 10.1007/978-3-642-27848-8_45-2 $2 DOI 100 $a 20150922d m y slo 03 ba 101 0-
$a eng $d eng 102 $a DE 200 1-
$a Backtracking based k-SAT algorithms 215 $8 500 $9 2591 $a 6 s. $c E 463 -1
$1 001 cav_un_epca*0447652 $1 010 $a 978-3-642-27848-8 $1 200 1 $a Encyclopedia of Algorithms $v S. 1-6 $1 210 $a Berlin $c Springer $d 2015 $1 702 1 $a Kao $b M.-Y. $4 340 610 0-
$a theory of computation 610 0-
$a algorithms 700 -1
$3 cav_un_auth*0266574 $4 070 $a Paturi $b R. $y US 701 -1
$3 cav_un_auth*0100699 $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $4 070 $a Pudlák $b Pavel $p MU-W $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0284549 $4 070 $a Saks $b M. $y US 701 -1
$3 cav_un_auth*0319793 $4 070 $a Zane $b F. $y US 856 $u http://link.springer.com/referenceworkentry/10.1007/978-3-642-27848-8_45-2
Počet záznamů: 1