The following pages link to Ruiwen Chen (Q334921):
Displaying 13 items.
- An improved deterministic \#SAT algorithm for small De Morgan formulas (Q334923) (← links)
- Correlation bounds and \#SAT algorithms for small linear-size circuits (Q344759) (← links)
- Lower bounds against weakly-uniform threshold circuits (Q486977) (← links)
- An average-case lower bound against \(\mathsf{ACC}^0\) (Q2294696) (← links)
- Mining circuit lower bound proofs for meta-algorithms (Q2351392) (← links)
- Satisfiability on Mixed Instances (Q2800587) (← links)
- Lower Bounds against Weakly Uniform Circuits (Q2914345) (← links)
- An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas (Q2922605) (← links)
- Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases (Q2946392) (← links)
- Correlation Bounds and #SAT Algorithms for Small Linear-Size Circuits (Q3196385) (← links)
- Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP (Q3453207) (← links)
- Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits (Q4568115) (← links)
- Average-case lower bounds and satisfiability algorithms for small threshold circuits (Q5368735) (← links)
