Pages that link to "Item:Q5091770"
From MaRDI portal
The following pages link to Stronger connections between circuit analysis and circuit lower bounds, via PCPs of proximity (Q5091770):
Displaying 10 items.
- Average-case rigidity lower bounds (Q2117087) (← links)
- A \#SAT algorithm for small constant-depth circuits with PTF gates (Q2118395) (← links)
- Lower bounds against sparse symmetric functions of ACC circuits: expanding the reach of \#SAT algorithms (Q2701071) (← links)
- Weights of exact threshold functions (Q5033984) (← links)
- Quantified Derandomization: How to Find Water in the Ocean (Q5060673) (← links)
- Strong Average-Case Circuit Lower Bounds from Nontrivial Derandomization (Q5080481) (← links)
- Circuit Lower Bounds for Nondeterministic Quasi-polytime from a New Easy Witness Lemma (Q5130843) (← links)
- (Q5226195) (← links)
- Efficient Construction of Rigid Matrices Using an NP Oracle (Q5863325) (← links)
- Rigid matrices from rectangular PCPs (Q6491304) (← links)
