Matches in SemOpenAlex for { <https://semopenalex.org/work/W1480202263> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1480202263 abstract "We prove that the propositional translations of the Kneser-Lovasz theorem have polynomial size extended Frege proofs and quasi-polynomial size Frege proofs. We present a new counting-based combinatorial proof of the Kneser-Lovasz theorem that avoids the topological arguments of prior proofs for all but finitely many cases for each k. We introduce a miniaturization of the octahedral Tucker lemma, called the truncated Tucker lemma: it is open whether its propositional translations have (quasi-)polynomial size Frege or extended Frege proofs." @default.
- W1480202263 created "2016-06-24" @default.
- W1480202263 creator A5022258975 @default.
- W1480202263 creator A5028188667 @default.
- W1480202263 creator A5038687845 @default.
- W1480202263 creator A5057069922 @default.
- W1480202263 creator A5067079243 @default.
- W1480202263 date "2015-05-20" @default.
- W1480202263 modified "2023-10-18" @default.
- W1480202263 title "Short Proofs of the Kneser-Lov'asz Coloring Principle" @default.
- W1480202263 cites W1996660205 @default.
- W1480202263 cites W2003995429 @default.
- W1480202263 cites W2014195574 @default.
- W1480202263 cites W2075508548 @default.
- W1480202263 cites W2116335551 @default.
- W1480202263 cites W2135552440 @default.
- W1480202263 cites W2165390183 @default.
- W1480202263 cites W33157876 @default.
- W1480202263 hasPublicationYear "2015" @default.
- W1480202263 type Work @default.
- W1480202263 sameAs 1480202263 @default.
- W1480202263 citedByCount "0" @default.
- W1480202263 crossrefType "posted-content" @default.
- W1480202263 hasAuthorship W1480202263A5022258975 @default.
- W1480202263 hasAuthorship W1480202263A5028188667 @default.
- W1480202263 hasAuthorship W1480202263A5038687845 @default.
- W1480202263 hasAuthorship W1480202263A5057069922 @default.
- W1480202263 hasAuthorship W1480202263A5067079243 @default.
- W1480202263 hasConcept C108710211 @default.
- W1480202263 hasConcept C114614502 @default.
- W1480202263 hasConcept C118539577 @default.
- W1480202263 hasConcept C118615104 @default.
- W1480202263 hasConcept C18903297 @default.
- W1480202263 hasConcept C2524010 @default.
- W1480202263 hasConcept C2777759810 @default.
- W1480202263 hasConcept C33923547 @default.
- W1480202263 hasConcept C46757340 @default.
- W1480202263 hasConcept C86803240 @default.
- W1480202263 hasConceptScore W1480202263C108710211 @default.
- W1480202263 hasConceptScore W1480202263C114614502 @default.
- W1480202263 hasConceptScore W1480202263C118539577 @default.
- W1480202263 hasConceptScore W1480202263C118615104 @default.
- W1480202263 hasConceptScore W1480202263C18903297 @default.
- W1480202263 hasConceptScore W1480202263C2524010 @default.
- W1480202263 hasConceptScore W1480202263C2777759810 @default.
- W1480202263 hasConceptScore W1480202263C33923547 @default.
- W1480202263 hasConceptScore W1480202263C46757340 @default.
- W1480202263 hasConceptScore W1480202263C86803240 @default.
- W1480202263 hasLocation W14802022631 @default.
- W1480202263 hasOpenAccess W1480202263 @default.
- W1480202263 hasPrimaryLocation W14802022631 @default.
- W1480202263 hasRelatedWork W1054254092 @default.
- W1480202263 hasRelatedWork W143633660 @default.
- W1480202263 hasRelatedWork W1511859173 @default.
- W1480202263 hasRelatedWork W1643490877 @default.
- W1480202263 hasRelatedWork W1754605724 @default.
- W1480202263 hasRelatedWork W1998096192 @default.
- W1480202263 hasRelatedWork W2033083468 @default.
- W1480202263 hasRelatedWork W2050984357 @default.
- W1480202263 hasRelatedWork W2148639066 @default.
- W1480202263 hasRelatedWork W2460222798 @default.
- W1480202263 hasRelatedWork W2474894413 @default.
- W1480202263 hasRelatedWork W2604985632 @default.
- W1480202263 hasRelatedWork W281488709 @default.
- W1480202263 hasRelatedWork W2949915340 @default.
- W1480202263 hasRelatedWork W2952905372 @default.
- W1480202263 hasRelatedWork W2953006237 @default.
- W1480202263 hasRelatedWork W2963581229 @default.
- W1480202263 hasRelatedWork W3159158595 @default.
- W1480202263 hasRelatedWork W76737142 @default.
- W1480202263 hasRelatedWork W2170896867 @default.
- W1480202263 isParatext "false" @default.
- W1480202263 isRetracted "false" @default.
- W1480202263 magId "1480202263" @default.
- W1480202263 workType "article" @default.