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 5 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)
- (Q5226195) (← links)
- Rigid matrices from rectangular PCPs (Q6491304) (← links)
