Number of the records: 1
A tradeoff between length and width in resolution
SYS 0462811 LBL 01000a^^22220027750^450 005 20240103212622.6 014 $a 85020472303 $2 SCOPUS 014 $a 000433610000004 $2 WOS 017 $a 10.4086/toc.2016.v012a005 $2 DOI 100 $a 20160920d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a A tradeoff between length and width in resolution 215 $a 14 s. 463 -1
$1 001 cav_un_epca*0318589 $1 011 $a 1557-2862 $e 1557-2862 $1 200 1 $a Theory of Computing $v Roč. 12, č. 5 (2016), s. 1-14 $1 210 $c University of Chicago 610 $a proof complexity 610 $a resolution 610 $a trade-off 700 -1
$3 cav_un_auth*0246710 $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 $4 070 $T Matematický ústav AV ČR, v. v. i. 856 $u http://toc.nada.kth.se/articles/v012a005/index.html
Number of the records: 1