Ruiwen Chen

Available identifiers

zbMath Open chen.ruiwenMaRDI QIDQ334921

List of research outcomes

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	2018-06-15	Paper
Average-case lower bounds and satisfiability algorithms for small threshold circuits	2017-10-10	Paper
Correlation bounds and \#SAT algorithms for small linear-size circuits	2016-11-24	Paper
An improved deterministic \#SAT algorithm for small De Morgan formulas	2016-11-01	Paper
Satisfiability on mixed instances	2016-04-15	Paper
Improved algorithms for sparse MAX-SAT and MAX-\(k\)-CSP	2015-11-20	Paper
Correlation bounds and \#SAT algorithms for small linear-size circuits	2015-10-29	Paper
Satisfiability algorithms and lower bounds for Boolean formulas over finite bases	2015-09-16	Paper
Mining circuit lower bound proofs for meta-algorithms	2015-06-23	Paper
Lower bounds against weakly-uniform threshold circuits	2015-01-19	Paper
An improved deterministic \#SAT algorithm for small De Morgan formulas	2014-10-14	Paper
Lower bounds against weakly uniform circuits	2012-09-25	Paper

Research outcomes over time

This page was built for person: Ruiwen Chen