Počet záznamů: 1
Random resolution refutations
SYS 0504571 LBL 01000a^^22220027750^450 005 20240103222019.5 014 $a 85064660360 $2 SCOPUS 014 $a 000467906700002 $2 WOS 017 $a 10.1007/s00037-019-00182-7 $2 DOI 100 $a 20190516d m y slo 03 ba 101 $a eng $d eng 102 $a CH 200 1-
$a Random resolution refutations 215 $a 55 s. 463 -1
$1 001 cav_un_epca*0252542 $1 011 $a 1016-3328 $e 1420-8954 $1 200 1 $a Computational Complexity $v Roč. 28, č. 2 (2019), s. 185-239 $1 210 $c Springer 610 $a probabilistic proof 610 $a proof complexity 610 $a resolutions 610 $a witching lemma 700 -1
$3 cav_un_auth*0100699 $4 070 $a Pudlák $b Pavel $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0246710 $4 070 $a Thapen $b Neil $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $T Matematický ústav AV ČR, v. v. i. 856 $9 RIV $u http://dx.doi.org/10.1007/s00037-019-00182-7
Počet záznamů: 1