Ruiwen Chen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An average-case lower bound against \(\mathsf{ACC}^0\)	2020-02-12	Paper
Average-case lower bounds and satisfiability algorithms for small threshold circuits Theory of Computing	2018-06-15	Paper
Average-case lower bounds and satisfiability algorithms for small threshold circuits (available as arXiv preprint)	2017-10-10	Paper
Correlation bounds and \#SAT algorithms for small linear-size circuits Theoretical Computer Science	2016-11-24	Paper
An improved deterministic \#SAT algorithm for small De Morgan formulas Algorithmica	2016-11-01	Paper
Satisfiability on mixed instances Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science	2016-04-15	Paper
Improved algorithms for sparse MAX-SAT and MAX-\(k\)-CSP Lecture Notes in Computer Science	2015-11-20	Paper
Correlation bounds and \#SAT algorithms for small linear-size circuits Lecture Notes in Computer Science	2015-10-29	Paper
Satisfiability algorithms and lower bounds for Boolean formulas over finite bases Mathematical Foundations of Computer Science 2015	2015-09-16	Paper
Mining circuit lower bound proofs for meta-algorithms Computational Complexity	2015-06-23	Paper
Lower bounds against weakly-uniform threshold circuits Algorithmica	2015-01-19	Paper
An improved deterministic \#SAT algorithm for small De Morgan formulas Mathematical Foundations of Computer Science 2014	2014-10-14	Paper
Lower bounds against weakly uniform circuits Lecture Notes in Computer Science	2012-09-25	Paper

Research outcomes over time

This page was built for person: Ruiwen Chen