Počet záznamů: 1
The complexity of proving that a graph is Ramsey
SYS 0395529 LBL 02277^^^^^2200409^^^450 005 20240103202901.4 014 $a 84880262321 $2 SCOPUS 014 $a 000342686600058 $2 WOS 017 70
$a 10.1007/978-3-642-39206-1_58 $2 DOI 100 $a 20140109d m y slo 03 ba 101 0-
$a eng $d eng 102 $a DE 200 1-
$a The complexity of proving that a graph is Ramsey 215 $a 12 s. $c P 463 -1
$1 001 cav_un_epca*0395300 $1 010 $a 978-3-642-39205-4 $1 200 1 $a Automata, Languages, and Programming. Part I $v S. 684-695 $1 210 $a Berlin $c Springer $d 2013 $1 225 $a Lecture Notes in Computer Science $v 7965 $1 702 1 $a Fomin $b F.V. $4 340 $1 702 1 $a Freivalds $b R. $4 340 $1 702 1 $a Kwiatkowska $b M. $4 340 $1 702 1 $a Peleg $b D. $4 340 610 0-
$a CNF formulas 610 0-
$a independent set 610 0-
$a lower bounds 700 -1
$3 cav_un_auth*0312468 $a Lauria $b Massimo $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. 701 -1
$3 cav_un_auth*0100699 $a Pudlák $b Pavel $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0246710 $a Thapen $b Neil $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0045922 $a Rödl $b V. $y US $4 070 856 $u http://link.springer.com/chapter/10.1007%2F978-3-642-39206-1_58
Počet záznamů: 1