1.Mining Circuit Lower Bound Proofs for Meta-Algorithms

作　　者：Ruiwen Chen ;Valentine Kabanets ;Antonina Kolokolova 等

出　　处：Electronic Colloquium on Computational Complexity. 2013 ;2013.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774804

文章详细全文下载

2.An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas

作　　者：Ruiwen Chen ;Valentine Kabanets ;Nitin Saurabh

出　　处：Electronic Colloquium on Computational Complexity. 2013 ;2013.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：88774897

文章详细全文下载

3.Lower Bounds against Weakly Uniform Circuits

作　　者：Ruiwen Chen ;Valentine Kabanets

出　　处：Electronic Colloquium on Computational Complexity. 2012 ;2012.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：77057240

文章详细全文下载

4.Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases

作　　者：Ruiwen Chen

出　　处：Electronic Colloquium on Computational Complexity. 2015 ;2015.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：174712847

文章详细全文下载

5.Improved Algorithms for Sparse MAX-SAT and MAX- k -CSP

作　　者：Ruiwen Chen ;Rahul Santhanam

出　　处：Electronic Colloquium on Computational Complexity. 2015 ;2015.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：174712859

文章详细全文下载

6.Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits

作　　者：Ruiwen Chen ;Rahul Santhanam ;Srikanth Srinivasan

出　　处：Electronic Colloquium on Computational Complexity. 2015 ;2015.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：174712938

文章详细全文下载

7.Correlation Bounds and #SAT Algorithms for Small Linear-Size Circuits

作　　者：Ruiwen Chen ;Valentine Kabanets

出　　处：Electronic Colloquium on Computational Complexity. 2014 ;2014.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：113635690

文章详细全文下载

8.Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits

作　　者：Ruiwen Chen ;Rahul Santhanam ;Srikanth Srinivasan

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

出版社：University of Chicago

文章 ID：243716345

文章详细全文下载

9.An Average-Case Lower Bound against ACC^0

作　　者：Igor Carboni Oliveira ;Ruiwen Chen ;Rahul Santhanam

出　　处：Electronic Colloquium on Computational Complexity. 2017 ;2017.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：207621423

文章详细全文下载

10.Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits

作　　者：Ruiwen Chen ;Rahul Santhanam ;Srikanth Srinivasan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;50:1:1-1:35.doi:10.4230/LIPIcs.CCC.2016.1

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

文章 ID：186847298

文章详细全文下载

	David Zuckerman	1篇
	Igor Carboni Oliveira	1篇
	Nitin Saurabh	1篇
	Ronen Shaltiel	1篇

	德国	9篇
	美国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Ruiwen Chen")))) )) ) )"

	Ruiwen Chen	10篇
	Rahul Santhanam	5篇
	Valentine Kabanets	4篇
	Srikanth Srinivasan	3篇
	Antonina Kolokolova	1篇

	Electronic Colloquium on Computational Complexity	8篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Theory of Computing	1篇