Number of the records: 1  

Lifting with simple gadgets and applications to circuit and proof complexity

  1. SYS0539558
    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  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.