Počet záznamů: 1
Tighter Hard Instances for PPSZ
SYS 0476174 LBL 01000a^^22220027750^450 005 20240103214246.5 014 $a 85027256429 $2 SCOPUS 017 $a 10.4230/LIPIcs.ICALP.2017.85 $2 DOI 100 $a 20170714d m y slo 03 ba 101 $a eng $d eng 102 $a DE 200 1-
$a Tighter Hard Instances for PPSZ 215 $a 13 s. $c E 463 -1
$1 001 cav_un_epca*0476175 $1 010 $a 978-3-95977-041-5 $1 011 $a 1868-8969 $1 200 1 $a 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) $v S. 1-13 $1 205 $a 1. $1 210 $a Dagstuhl $c Schloss Dagstuhl, Leibniz-Zentrum für Informatik $d 2017 $1 225 $a Leibniz International Proceedings in Informatics $i 80 $1 702 1 $a Chatzigiannakis $b I. $4 340 $1 702 1 $4 340 $a Indyk $b P. $1 702 1 $4 340 $a Kuhn $b F. $1 702 1 $4 340 $a Muscholl $b A. 610 $a k-SAT 610 $a strong exponential time hypothesis 610 $a PPSZ 610 $a resolution 700 -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 $y CZ $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0347686 $4 070 $a Scheder $b D. $y CN 701 -1
$3 cav_un_auth*0347687 $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 Talebanfard $b Navid $p MU-W $y IR $T Matematický ústav AV ČR, v. v. i. 856 $u http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7414
Počet záznamů: 1