Počet záznamů: 1
Random formulas, monotone circuits, and interpolation
SYS 0483703 LBL 01000a^^22220027750^450 005 20240103215230.4 014 $a 85041112630 $2 SCOPUS 014 $a 000417425300011 $2 WOS 017 $a 10.1109/FOCS.2017.20 $2 DOI 100 $a 20171228d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a Random formulas, monotone circuits, and interpolation 215 $a 11 s. $c P 463 -1
$1 001 cav_un_epca*0483704 $1 010 $a 978-1-5386-3464-6 $1 011 $a 0272-5428 $1 200 1 $a 2017 58th IEEE Annual Symposium on Foundations of Computer Science (FOCS) $v S. 121-131 $1 210 $a New York $c IEEE $d 2017 $1 225 $a Annual IEEE Symposium on Foundations of Computer Science 610 $a Cutting Planes 610 $a random formulas 610 $a interpolation 700 -1
$3 cav_un_auth*0258893 $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 Hrubeš $b Pavel $p MU-W $y CZ $T Matematický ústav AV ČR, v. v. i. 701 -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. 856 $u http://ieeexplore.ieee.org/document/8104052/
Počet záznamů: 1