Matches in SemOpenAlex for { <https://semopenalex.org/work/W2063658344> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2063658344 endingPage "84" @default.
- W2063658344 startingPage "77" @default.
- W2063658344 abstract "Cook and Reckhow proved in 1979 that the propositional pigeonhole principle has polynomial size extended Frege proofs. Buss proved in 1987 that it also has polynomial size Frege proofs; these Frege proofs used a completely different proof method based on counting. This paper shows that the original Cook and Reckhow extended Frege proofs can be formulated as quasipolynomial size Frege proofs. The key point is that st-connectivity can be used to define the Cook–Reckhow construction." @default.
- W2063658344 created "2016-06-24" @default.
- W2063658344 creator A5067079243 @default.
- W2063658344 date "2015-04-01" @default.
- W2063658344 modified "2023-10-03" @default.
- W2063658344 title "Quasipolynomial size proofs of the propositional pigeonhole principle" @default.
- W2063658344 cites W1968584500 @default.
- W2063658344 cites W1988083342 @default.
- W2063658344 cites W1996660205 @default.
- W2063658344 cites W2034804004 @default.
- W2063658344 cites W2038549427 @default.
- W2063658344 cites W2040502162 @default.
- W2063658344 cites W2053365988 @default.
- W2063658344 cites W2065828765 @default.
- W2063658344 cites W2169359757 @default.
- W2063658344 cites W4213091458 @default.
- W2063658344 cites W4255046774 @default.
- W2063658344 doi "https://doi.org/10.1016/j.tcs.2015.02.005" @default.
- W2063658344 hasPublicationYear "2015" @default.
- W2063658344 type Work @default.
- W2063658344 sameAs 2063658344 @default.
- W2063658344 citedByCount "8" @default.
- W2063658344 countsByYear W20636583442015 @default.
- W2063658344 countsByYear W20636583442017 @default.
- W2063658344 countsByYear W20636583442018 @default.
- W2063658344 countsByYear W20636583442019 @default.
- W2063658344 countsByYear W20636583442021 @default.
- W2063658344 crossrefType "journal-article" @default.
- W2063658344 hasAuthorship W2063658344A5067079243 @default.
- W2063658344 hasBestOaLocation W20636583441 @default.
- W2063658344 hasConcept C102993220 @default.
- W2063658344 hasConcept C105605280 @default.
- W2063658344 hasConcept C108710211 @default.
- W2063658344 hasConcept C118615104 @default.
- W2063658344 hasConcept C14523651 @default.
- W2063658344 hasConcept C154945302 @default.
- W2063658344 hasConcept C171988527 @default.
- W2063658344 hasConcept C199343813 @default.
- W2063658344 hasConcept C2524010 @default.
- W2063658344 hasConcept C2777686260 @default.
- W2063658344 hasConcept C33203268 @default.
- W2063658344 hasConcept C33923547 @default.
- W2063658344 hasConcept C41008148 @default.
- W2063658344 hasConcept C69562738 @default.
- W2063658344 hasConcept C71924100 @default.
- W2063658344 hasConcept C74640108 @default.
- W2063658344 hasConceptScore W2063658344C102993220 @default.
- W2063658344 hasConceptScore W2063658344C105605280 @default.
- W2063658344 hasConceptScore W2063658344C108710211 @default.
- W2063658344 hasConceptScore W2063658344C118615104 @default.
- W2063658344 hasConceptScore W2063658344C14523651 @default.
- W2063658344 hasConceptScore W2063658344C154945302 @default.
- W2063658344 hasConceptScore W2063658344C171988527 @default.
- W2063658344 hasConceptScore W2063658344C199343813 @default.
- W2063658344 hasConceptScore W2063658344C2524010 @default.
- W2063658344 hasConceptScore W2063658344C2777686260 @default.
- W2063658344 hasConceptScore W2063658344C33203268 @default.
- W2063658344 hasConceptScore W2063658344C33923547 @default.
- W2063658344 hasConceptScore W2063658344C41008148 @default.
- W2063658344 hasConceptScore W2063658344C69562738 @default.
- W2063658344 hasConceptScore W2063658344C71924100 @default.
- W2063658344 hasConceptScore W2063658344C74640108 @default.
- W2063658344 hasFunder F4320306076 @default.
- W2063658344 hasFunder F4320306164 @default.
- W2063658344 hasLocation W20636583441 @default.
- W2063658344 hasOpenAccess W2063658344 @default.
- W2063658344 hasPrimaryLocation W20636583441 @default.
- W2063658344 hasRelatedWork W104007018 @default.
- W2063658344 hasRelatedWork W1968584500 @default.
- W2063658344 hasRelatedWork W2062912795 @default.
- W2063658344 hasRelatedWork W2063658344 @default.
- W2063658344 hasRelatedWork W2153912760 @default.
- W2063658344 hasRelatedWork W2270830817 @default.
- W2063658344 hasRelatedWork W2415009662 @default.
- W2063658344 hasRelatedWork W2531336559 @default.
- W2063658344 hasRelatedWork W4321153753 @default.
- W2063658344 hasRelatedWork W860315492 @default.
- W2063658344 hasVolume "576" @default.
- W2063658344 isParatext "false" @default.
- W2063658344 isRetracted "false" @default.
- W2063658344 magId "2063658344" @default.
- W2063658344 workType "article" @default.