Pages that link to "Item:Q558246"
From MaRDI portal
The following pages link to Regular resolution lower bounds for the weak pigeonhole principle (Q558246):
Displaying 7 items.
- Resolution lower bounds for the weak functional pigeonhole principle. (Q1401365) (← links)
- Pseudorandom generators hard for \(k\)-DNF resolution and polynomial calculus resolution (Q2255289) (← links)
- Width versus size in resolution proofs (Q2382288) (← links)
- On the weak pigeonhole principle (Q2773242) (← links)
- (Q5092479) (← links)
- Approximate Euler characteristic, dimension, and weak pigeonhole principles (Q5311719) (← links)
- Propositional proof complexity (Q6064569) (← links)