Pages that link to "Item:Q5091770"

The following pages link to Stronger connections between circuit analysis and circuit lower bounds, via PCPs of proximity (Q5091770):

Displayed 9 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)