Pages that link to "Item:Q3192060"
From MaRDI portal
The following pages link to Proof Complexity and the Kneser-Lovász Theorem (Q3192060):
Displaying 5 items.
- Short proofs of the Kneser-Lovász coloring principle (Q1641004) (← links)
- Quasipolynomial size proofs of the propositional pigeonhole principle (Q2344736) (← links)
- A parametric worst-case approach to fairness in cooperative games with transferable utility (Q2699972) (← links)
- Propositional Proofs in Frege and Extended Frege Systems (Abstract) (Q3194704) (← links)
- Short Proofs of the Kneser-Lovász Coloring Principle (Q3449464) (← links)