Pages that link to "Item:Q2963581"
From MaRDI portal
The following pages link to Improved Average-Case Lower Bounds for De Morgan Formula Size: Matching Worst-Case Lower Bound (Q2963581):
Displayed 11 items.
- Gate elimination: circuit size lower bounds and \#SAT upper bounds (Q1704573) (← links)
- Fourier concentration from shrinkage (Q2012185) (← links)
- Bounded depth circuits with weighted symmetric gates: satisfiability, lower bounds and compression (Q2316930) (← links)
- Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases (Q2946392) (← links)
- Improved Average-Case Lower Bounds for De Morgan Formula Size: Matching Worst-Case Lower Bound (Q2963581) (← links)
- (Q5028364) (← links)
- Quantified Derandomization: How to Find Water in the Ocean (Q5060673) (← links)
- Cubic Formula Size Lower Bounds Based on Compositions with Majority (Q5090412) (← links)
- Hardness magnification near state-of-the-art lower bounds (Q5091779) (← links)
- Improved Extractors for Recognizable and Algebraic Sources (Q5875532) (← links)
- Algorithms and lower bounds for comparator circuits from shrinkage (Q6107895) (← links)