Pages that link to "Item:Q4847394"
From MaRDI portal
The following pages link to An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle (Q4847394):
Displaying 12 items.
- (Q5208872) (← links)
- A fixed-depth size-hierarchy theorem for AC <sup>0</sup> [⊕] via the coin problem (Q5212785) (← links)
- Approximate Euler characteristic, dimension, and weak pigeonhole principles (Q5311719) (← links)
- The Complexity of Propositional Proofs (Q5444711) (← links)
- LOWER BOUNDS FOR DNF-REFUTATIONS OF A RELATIVIZED WEAK PIGEONHOLE PRINCIPLE (Q5501765) (← links)
- (Q5875501) (← links)
- A new proof of the weak pigeonhole principle (Q5894824) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Propositional proof complexity (Q6064569) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)
- Extended Nullstellensatz proof systems (Q6621298) (← links)
- On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems (Q6649455) (← links)