Počet záznamů: 1
A note on SAT algorithms and proof complexity
SYS 0380502 LBL 01749^^^^^2200277^^^450 005 20240103201208.4 014 $a 000303959300007 $2 WOS 014 $a 84859539294 $2 SCOPUS 017 70
$a 10.1016/j.ipl.2012.03.009 $2 DOI 100 $a 20130320d m y slo 03 ba 101 0-
$a eng $d eng 102 $a NL 200 1-
$a A note on SAT algorithms and proof complexity 215 $a 4 s. 463 -1
$1 001 cav_un_epca*0253319 $1 011 $a 0020-0190 $e 1872-6119 $1 200 1 $a Information Processing Letters $v Roč. 112, č. 12 (2012), s. 490-493 $1 210 $c Elsevier 610 0-
$a computational complexity 700 -1
$3 cav_un_auth*0100670 $a Krajíček $b Jan $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $4 070 $T Matematický ústav AV ČR, v. v. i. 856 $u http://www.sciencedirect.com/science/article/pii/S0020019012000774
Počet záznamů: 1