Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990362734> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1990362734 endingPage "17" @default.
- W1990362734 startingPage "1" @default.
- W1990362734 abstract "We present a simple proof of the bounded-depth Frege proof lower bounds of Pitassi et al. [1993] and Krajíček et al. [1995] for the pigeonhole principle. Our method uses the interpretation of proofs as two player games given by Pudlák and Buss. Our lower bound is conceptually simpler than previous ones, and relies on tools and intuition that are well known in the context of computational complexity. This makes the lower bound of Pitassi et al. [1993] and Krajíček et al. [1995] accessible to the general computational complexity audience. We hope this new view will open new directions for research in proof complexity." @default.
- W1990362734 created "2016-06-24" @default.
- W1990362734 creator A5019248097 @default.
- W1990362734 creator A5058111762 @default.
- W1990362734 date "2010-05-01" @default.
- W1990362734 modified "2023-10-05" @default.
- W1990362734 title "Lower bounds for bounded depth Frege proofs via Pudlák-Buss games" @default.
- W1990362734 cites W1563012911 @default.
- W1990362734 cites W1968655942 @default.
- W1990362734 cites W1988083342 @default.
- W1990362734 cites W2014850486 @default.
- W1990362734 cites W2029390834 @default.
- W1990362734 cites W2036656440 @default.
- W1990362734 cites W2069767473 @default.
- W1990362734 cites W2075146634 @default.
- W1990362734 cites W2093396771 @default.
- W1990362734 cites W2135672707 @default.
- W1990362734 cites W2151373762 @default.
- W1990362734 cites W2167115661 @default.
- W1990362734 cites W2169713712 @default.
- W1990362734 doi "https://doi.org/10.1145/1740582.1740587" @default.
- W1990362734 hasPublicationYear "2010" @default.
- W1990362734 type Work @default.
- W1990362734 sameAs 1990362734 @default.
- W1990362734 citedByCount "31" @default.
- W1990362734 countsByYear W19903627342014 @default.
- W1990362734 countsByYear W19903627342015 @default.
- W1990362734 countsByYear W19903627342019 @default.
- W1990362734 crossrefType "journal-article" @default.
- W1990362734 hasAuthorship W1990362734A5019248097 @default.
- W1990362734 hasAuthorship W1990362734A5058111762 @default.
- W1990362734 hasConcept C105605280 @default.
- W1990362734 hasConcept C108710211 @default.
- W1990362734 hasConcept C111472728 @default.
- W1990362734 hasConcept C11413529 @default.
- W1990362734 hasConcept C114614502 @default.
- W1990362734 hasConcept C118615104 @default.
- W1990362734 hasConcept C132010649 @default.
- W1990362734 hasConcept C134306372 @default.
- W1990362734 hasConcept C138885662 @default.
- W1990362734 hasConcept C151730666 @default.
- W1990362734 hasConcept C171988527 @default.
- W1990362734 hasConcept C179799912 @default.
- W1990362734 hasConcept C2524010 @default.
- W1990362734 hasConcept C2779343474 @default.
- W1990362734 hasConcept C2780586882 @default.
- W1990362734 hasConcept C33923547 @default.
- W1990362734 hasConcept C34388435 @default.
- W1990362734 hasConcept C77553402 @default.
- W1990362734 hasConcept C86803240 @default.
- W1990362734 hasConceptScore W1990362734C105605280 @default.
- W1990362734 hasConceptScore W1990362734C108710211 @default.
- W1990362734 hasConceptScore W1990362734C111472728 @default.
- W1990362734 hasConceptScore W1990362734C11413529 @default.
- W1990362734 hasConceptScore W1990362734C114614502 @default.
- W1990362734 hasConceptScore W1990362734C118615104 @default.
- W1990362734 hasConceptScore W1990362734C132010649 @default.
- W1990362734 hasConceptScore W1990362734C134306372 @default.
- W1990362734 hasConceptScore W1990362734C138885662 @default.
- W1990362734 hasConceptScore W1990362734C151730666 @default.
- W1990362734 hasConceptScore W1990362734C171988527 @default.
- W1990362734 hasConceptScore W1990362734C179799912 @default.
- W1990362734 hasConceptScore W1990362734C2524010 @default.
- W1990362734 hasConceptScore W1990362734C2779343474 @default.
- W1990362734 hasConceptScore W1990362734C2780586882 @default.
- W1990362734 hasConceptScore W1990362734C33923547 @default.
- W1990362734 hasConceptScore W1990362734C34388435 @default.
- W1990362734 hasConceptScore W1990362734C77553402 @default.
- W1990362734 hasConceptScore W1990362734C86803240 @default.
- W1990362734 hasIssue "3" @default.
- W1990362734 hasLocation W19903627341 @default.
- W1990362734 hasOpenAccess W1990362734 @default.
- W1990362734 hasPrimaryLocation W19903627341 @default.
- W1990362734 hasRelatedWork W1990362734 @default.
- W1990362734 hasRelatedWork W2075146634 @default.
- W1990362734 hasRelatedWork W2097113315 @default.
- W1990362734 hasRelatedWork W2102098509 @default.
- W1990362734 hasRelatedWork W2112145019 @default.
- W1990362734 hasRelatedWork W2396989770 @default.
- W1990362734 hasRelatedWork W2767976260 @default.
- W1990362734 hasRelatedWork W300103453 @default.
- W1990362734 hasRelatedWork W4213091458 @default.
- W1990362734 hasRelatedWork W4288055874 @default.
- W1990362734 hasVolume "11" @default.
- W1990362734 isParatext "false" @default.
- W1990362734 isRetracted "false" @default.
- W1990362734 magId "1990362734" @default.
- W1990362734 workType "article" @default.