Pages that link to "Item:Q687506"
From MaRDI portal
The following pages link to Exponential lower bounds for the pigeonhole principle (Q687506):
Displaying 6 items.
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Propositional proof complexity (Q6064569) (← links)
- Why Extension-Based Proofs Fail (Q6115415) (← 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)