Lijie Chen 0001 Dylan M. McKay Cody D. Murray R. Ryan Williams Relations and Equivalences Between Circuit Lower Bounds and Karp-Lipton Theorems. 30:1-30:21 2019 CCC https://doi.org/10.4230/LIPIcs.CCC.2019.30 conf/coco/2019 db/conf/coco/coco2019.html#ChenMMW19