Ruiwen Chen

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 18

Top Topics

Worst Case Analysis

Top Venues

Electron. Colloquium Comput. Complex.

Computational Complexity Conference

Publications

Chirag Parsania, Ruiwen Chen, Pooja Sethiya, Zhengqiang Miao, Liguo Dong, Koon Ho Wong
FungiExpresZ: an intuitive package for fungal gene expression data analysis, visualization and discovery. Briefings Bioinform. 24 (2) (2023)
Xiaocheng Hu, Heng Zhu, Ruiwen Chen, Sideng Hu, Zheng Jia, Honghui Yu, Shaoxing Qu
Design of 3D Magnetic Tactile Sensors with High Sensing Accuracy Guided by the Theoretical Model. Adv. Intell. Syst. 5 (5) (2023)
Ruiwen Chen, Rahul Santhanam, Srikanth Srinivasan
Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits. CoRR (2018)
Ruiwen Chen, Igor Carboni Oliveira, Rahul Santhanam
An Average-Case Lower Bound Against \mathsf ACC^0 ACC 0. LATIN (2018)
Ruiwen Chen, Rahul Santhanam, Srikanth Srinivasan
Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits. Theory Comput. 14 (1) (2018)
Igor Carboni Oliveira, Ruiwen Chen, Rahul Santhanam
An Average-Case Lower Bound against ACC^0. Electron. Colloquium Comput. Complex. 24 (2017)
Ruiwen Chen, Rahul Santhanam
Satisfiability on Mixed Instances. ITCS (2016)
Ruiwen Chen, Valentine Kabanets
Correlation bounds and #SAT algorithms for small linear-size circuits. Theor. Comput. Sci. 654 (2016)
Ruiwen Chen, Valentine Kabanets, Nitin Saurabh
An Improved Deterministic #SAT Algorithm for Small de Morgan Formulas. Algorithmica 76 (1) (2016)
Ruiwen Chen, Rahul Santhanam, Srikanth Srinivasan
Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits. Computational Complexity Conference (2016)
Ruiwen Chen
Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases. MFCS (2) (2015)
Ruiwen Chen, Rahul Santhanam
Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP. Electron. Colloquium Comput. Complex. 22 (2015)
Ruiwen Chen, Valentine Kabanets
Correlation Bounds and #SAT Algorithms for Small Linear-Size Circuits. COCOON (2015)
Ruiwen Chen, Rahul Santhanam
Satisfiability on Mixed Instances. Electron. Colloquium Comput. Complex. 22 (2015)
Ruiwen Chen, Valentine Kabanets, Antonina Kolokolova, Ronen Shaltiel, David Zuckerman
Mining Circuit Lower Bound Proofs for Meta-Algorithms. Comput. Complex. 24 (2) (2015)
Ruiwen Chen, Rahul Santhanam
Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP. SAT (2015)
Ruiwen Chen
Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases. Electron. Colloquium Comput. Complex. 22 (2015)
Ruiwen Chen, Rahul Santhanam, Srikanth Srinivasan
Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits. Electron. Colloquium Comput. Complex. 22 (2015)
Ruiwen Chen, Valentine Kabanets, Antonina Kolokolova, Ronen Shaltiel, David Zuckerman
Mining Circuit Lower Bound Proofs for Meta-algorithms. Computational Complexity Conference (2014)
Ruiwen Chen, Valentine Kabanets, Nitin Saurabh
An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas. MFCS (2) (2014)
Ruiwen Chen, Valentine Kabanets, Jeff Kinne
Lower Bounds Against Weakly-Uniform Threshold Circuits. Algorithmica 70 (1) (2014)
Ruiwen Chen, Valentine Kabanets
Correlation Bounds and #SAT Algorithms for Small Linear-Size Circuits. Electron. Colloquium Comput. Complex. 21 (2014)
Ruiwen Chen, Valentine Kabanets, Nitin Saurabh
An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas. Electron. Colloquium Comput. Complex. 20 (2013)
Ruiwen Chen
Managing massive graphs in relational DBMS. IEEE BigData (2013)
Ruiwen Chen, Valentine Kabanets, Antonina Kolokolova, Ronen Shaltiel, David Zuckerman
Mining Circuit Lower Bound Proofs for Meta-Algorithms. Electron. Colloquium Comput. Complex. 20 (2013)
Ruiwen Chen, Valentine Kabanets
Lower Bounds against Weakly Uniform Circuits. COCOON (2012)
Ruiwen Chen, Valentine Kabanets
Lower Bounds against Weakly Uniform Circuits. Electron. Colloquium Comput. Complex. 19 (2012)
Ruiwen Chen, Yongyi Mao, Iluju Kiringa
Generator-Recognizer Networks: A unified approach to probabilistic databases. ICDE (2010)
Ruiwen Chen, Yongyi Mao, Iluju Kiringa
GRN model of probabilistic databases: construction, transition and querying. SIGMOD Conference (2010)
Ruiwen Chen, Iluju Kiringa, Yongyi Mao
Graphical models for dependencies and queries in uncertain data. ICDE Workshops (2010)