Ruiwen Chen

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