Number of the records: 1
Lifting with simple gadgets and applications to circuit and proof complexity
SYS 0539558 LBL 01000a^^22220027750^450 005 20231122145555.9 014 $a 85100337762 $2 SCOPUS 014 $a 000652333400003 $2 WOS 017 $a 10.1109/FOCS46700.2020.00011 $2 DOI 100 $a 20210215d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a Lifting with simple gadgets and applications to circuit and proof complexity 215 $a 7 s. $c P 463 -1
$1 001 cav_un_epca*0539557 $1 010 $a 978-1-7281-9622-0 $1 200 1 $a 2020 IEEE 61st Annual Symposium on Foundations of Computer Science $v S. 24-30 $1 210 $a Los Alamitos $c IEEE $d 2020 610 $a circuit complexity 610 $a communication complexity 610 $a cutting planes 700 -1
$3 cav_un_auth*0395171 $a de Rezende $b Susanna F. $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $y BR $4 070 $T Matematický ústav AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0344814 $a Meir $b O. $y IL $4 070 701 -1
$3 cav_un_auth*0287033 $a Norström $b J. $y SE $4 070 701 -1
$3 cav_un_auth*0079631 $a Pitassi $b T. $y US $4 070 701 -1
$3 cav_un_auth*0405479 $a Robere $b R. $y CA $4 070 701 -1
$3 cav_un_auth*0405489 $a Vinyals $b M. $y IL $4 070 856 $u https://doi.org/10.1109/FOCS46700.2020.00011
Number of the records: 1