Počet záznamů: 1
Total space in resolution
SYS 0466751 LBL 01000a^^22220027750^450 005 20240103213112.8 014 $a 85010644516 $2 SCOPUS 014 $a 000387321500007 $2 WOS 017 $a 10.1137/15M1023269 $2 DOI 100 $a 20161208d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a Total space in resolution 215 $a 16 s. 463 -1
$1 001 cav_un_epca*0255071 $1 011 $a 0097-5397 $e 1095-7111 $1 200 1 $a Siam Journal on Computing $v Roč. 45, č. 5 (2016), s. 1894-1909 610 $a total space 610 $a resolution random CNFs 610 $a proof complexity 700 -1
$3 cav_un_auth*0338962 $4 070 $a Bonacina $b I. $y SE 701 -1
$3 cav_un_auth*0312064 $4 070 $a Galesi $b N. $y IT 701 -1
$3 cav_un_auth*0246710 $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 Thapen $b Neil $p MU-W $y CZ $T Matematický ústav AV ČR, v. v. i. 856 $u http://epubs.siam.org/doi/10.1137/15M1023269
Počet záznamů: 1