Pages that link to "Item:Q1317976"
From MaRDI portal
The following pages link to A parity-based Frege proof for the symmetric pigeonhole principle (Q1317976):
Displaying 3 items.
- An exponential separation between the parity principle and the pigeonhole principle (Q1923563) (← links)
- Quasipolynomial size proofs of the propositional pigeonhole principle (Q2344736) (← links)
- An exponential lower bound to the size of bounded depth frege proofs of the pigeonhole principle (Q4847394) (← links)