Short Proofs of the Kneser-Lovász Coloring Principle (Q3449464): Difference between revisions

@@ Property / cites work @@
+QUASIPOLYNOMIAL SIZE FREGE PROOFS OF FRANKL’S THEOREM ON THE TRACE OF SETS
+Normal rank
@@ Property / cites work @@
+Q4850545
@@ Property / cites work: Q4850545 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial size proofs of the propositional pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Q4263835
@@ Property / cites work: Q4263835 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional proofs and reductions between NP search problems
+Normal rank
@@ Property / cites work @@
+Quasipolynomial size proofs of the propositional pigeonhole principle
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Proof Complexity and the Kneser-Lovász Theorem
@@ Property / cites work: Proof Complexity and the Kneser-Lovász Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Dual weak pigeonhole principle, Boolean complexity, and derandomization
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Kneser's conjecture, chromatic number, and homotopy
+Normal rank
@@ Property / cites work @@
+A combinatorical proof of Kneser's conjecture
@@ Property / cites work: A combinatorical proof of Kneser's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Propositional Proofs
@@ Property / cites work: The Complexity of Propositional Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Kneser coloring theorems with combinatorial proofs
+Normal rank