1.New Algorithms and Lower Bounds for Circuits With Linear Threshold Gates

作　　者：R. Ryan Williams

出　　处：Theory of Computing. 2018 ;14:1-25.doi:10.4086/toc.2018.v014a017

出版社：University of Chicago

文章 ID：243716353

文章详细全文下载

2.Stronger Connections Between Circuit Analysis and Circuit Lower Bounds, via PCPs of Proximity

作　　者：Lijie Chen ;R. Ryan Williams

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;137:1-43.doi:10.4230/LIPIcs.CCC.2019.19

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892051

文章详细全文下载

3.Relations and Equivalences Between Circuit Lower Bounds and Karp-Lipton Theorems

作　　者：Lijie Chen ;Dylan M. McKay ;Cody D. Murray 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;137:1-21.doi:10.4230/LIPIcs.CCC.2019.30

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892062

文章详细全文下载

4.Easiness Amplification and Uniform Circuit Lower Bounds

作　　者：Cody D. Murray ;R. Ryan Williams

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;79:8:1-8:21.doi:10.4230/LIPIcs.CCC.2017.8

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200734928

文章详细全文下载

5.Counting Solutions to Polynomial Systems via Reductions

作　　者：R. Ryan Williams

出　　处：OASIcs : OpenAccess Series in Informatics. 2018 ;61:6:1-6:15.doi:10.4230/OASIcs.SOSA.2018.6

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：210849490

文章详细全文下载

6.Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms

作　　者：Nikhil Vyas ;R. Ryan Williams

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:59:1-59:17.doi:10.4230/LIPIcs.STACS.2020.59

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823598

文章详细全文下载

7.On the (Non) NP-Hardness of Computing Circuit Complexity

作　　者：Cody D. Murray ;R. Ryan Williams

出　　处：Theory of Computing. 2017 ;13.

出版社：University of Chicago

文章 ID：213259280

文章详细全文下载

8.Circuit Depth Reductions

作　　者：Alexander Golovnev ;Alexander S. Kulikov ;R. Ryan Williams

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;185:24:1-24:20.doi:10.4230/LIPIcs.ITCS.2021.24

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：259385494

文章详细全文下载

9.Time-Space Lower Bounds for Simulating Proof Systems with Quantum and Randomized Verifiers

作　　者：Abhijit S. Mudigonda ;R. Ryan Williams

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;185:50:1-50:20.doi:10.4230/LIPIcs.ITCS.2021.50

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：259385520

文章详细全文下载

10.On the (Non) NP-Hardness of Computing Circuit Complexity

作　　者：Cody D. Murray ;R. Ryan Williams

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;33:365-380.doi:10.4230/LIPIcs.CCC.2015.365

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846772

文章详细全文下载

	2016	1篇
	2015	2篇

	Alexander S. Kulikov	1篇
	Andrea Lincoln	1篇
	Dylan M. McKay	1篇
	Joshua R. Wang	1篇
	Nikhil Vyas	1篇
	Virginia Vassilevska Williams	1篇

	德国	10篇
	美国	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("R. Ryan Williams")))) )) ) )"

	R. Ryan Williams	12篇
	Cody D. Murray	4篇
	Lijie Chen	2篇
	Abhijit S. Mudigonda	1篇
	Alexander Golovnev	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	9篇
	Theory of Computing	2篇
	OASIcs : OpenAccess Series in Informatics	1篇