Skip to main content

Ruiwen Chen

Ruiwen Chen

Research Associate

E: ruiwen.chen@cs.ox.ac.uk

Room 314, Wolfson Building, Parks Road, Oxford OX1 3QD

Biography

I am interested in computational complexity, and more specifically, connections between circuit lower bounds and algorithms. I graduated with PhD in Computer Science from Simon Fraser University supervised by Valentine Kabanets. Since then, I work as a postdoc with Rahul Santhanam. 

Journal Articles

  • Ruiwen Chen, Valentine Kabanets, Nitin Saurabh: An Improved Deterministic #SAT Algorithm for Small de Morgan Formulas. Algorithmica 76(1): 68-87 (2016)
  • Ruiwen Chen, Valentine Kabanets, Antonina Kolokolova, Ronen Shaltiel, David Zuckerman: Mining Circuit Lower Bound Proofs for Meta-Algorithms. Computational Complexity 24(2): 333-392 (2015)
  • Ruiwen Chen, Valentine Kabanets, Jeff Kinne: Lower Bounds Against Weakly-Uniform Threshold Circuits. Algorithmica 70(1): 47-75 (2014)

Conference Papers

  • Ruiwen Chen, Rahul Santhanam, Srikanth Srinivasan: Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits. Conference on Computational Complexity 2016: 1:1-1:35
  • Ruiwen Chen, Rahul Santhanam: Satisfiability on Mixed Instances. ITCS 2016: 393-402
  • Ruiwen Chen, Valentine Kabanets: Correlation Bounds and #SAT Algorithms for Small Linear-Size Circuits. COCOON 2015: 211-222
  • Ruiwen Chen: Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases. MFCS (2) 2015: 223-234
  • Ruiwen Chen, Rahul Santhanam: Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP. SAT 2015: 33-45
  • Ruiwen Chen, Valentine Kabanets, Antonina Kolokolova, Ronen Shaltiel, David Zuckerman: Mining Circuit Lower Bound Proofs for Meta-algorithms. IEEE Conference on Computational Complexity 2014: 262-273
  • Ruiwen Chen, Valentine Kabanets, Nitin Saurabh: An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas. MFCS (2) 2014: 165-176
  • Ruiwen Chen, Valentine Kabanets: Lower Bounds against Weakly Uniform Circuits. COCOON 2012: 408-419
  • Ruiwen Chen, Yongyi Mao, Iluju Kiringa: Generator-Recognizer Networks: A unified approach to probabilistic databases. ICDE 2010: 169-172
  • Ruiwen Chen, Yongyi Mao, Iluju Kiringa: GRN model of probabilistic databases: construction, transition and querying. SIGMOD Conference 2010: 291-302