Pages that link to "Item:Q2875135"
From MaRDI portal
The following pages link to Hardness amplification in proof complexity (Q2875135):
Displaying 10 items.
- Rank bounds for a hierarchy of Lovász and Schrijver (Q498445) (← links)
- Improved hardness amplification in NP (Q868960) (← links)
- Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems (Q1947040) (← links)
- Simulation theorems via pseudo-random properties (Q2281252) (← links)
- On uniform amplification of hardness in NP (Q3581414) (← links)
- Communication Lower Bounds via Critical Block Sensitivity (Q4554052) (← links)
- (Q4989407) (← links)
- Stabbing planes (Q4993273) (← links)
- Hardness Amplification Proofs Require Majority (Q5390590) (← links)
- Using Nondeterminism to Amplify Hardness (Q5470719) (← links)