Pages that link to "Item:Q2344736"
From MaRDI portal
The following pages link to Quasipolynomial size proofs of the propositional pigeonhole principle (Q2344736):
Displayed 5 items.
- Short proofs of the Kneser-Lovász coloring principle (Q1641004) (← links)
- Towards a unified complexity theory of total functions (Q1745728) (← links)
- Propositional Proofs in Frege and Extended Frege Systems (Abstract) (Q3194704) (← links)
- Short Proofs of the Kneser-Lovász Coloring Principle (Q3449464) (← links)
- Towards a Unified Complexity Theory of Total Functions (Q4993302) (← links)