Matches in SemOpenAlex for { <https://semopenalex.org/work/W628361767> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W628361767 startingPage "161" @default.
- W628361767 abstract "We explain an asymmetric Prover-Delayer game which precisely characterizes proof size in tree-like Resolution. This game was previously described in a parameterized complexity context to show lower bounds for parameterized formulas [BGL11] and for the classical pigeonhole principle [BGL10]. The main point of this note is to show that the asymmetric game in fact characterizes tree-like Resolution proof size, i. e. in principle our proof method allows to always achieve the optimal lower bounds. This is in contrast with previous techniques described in the literature. We also provide a very intuitive information-theoretic interpretation of the game." @default.
- W628361767 created "2016-06-24" @default.
- W628361767 creator A5024267515 @default.
- W628361767 creator A5042128349 @default.
- W628361767 creator A5084573067 @default.
- W628361767 date "2012-01-01" @default.
- W628361767 modified "2023-10-02" @default.
- W628361767 title "A Characterization of Tree-Like Resolution Size" @default.
- W628361767 hasPublicationYear "2012" @default.
- W628361767 type Work @default.
- W628361767 sameAs 628361767 @default.
- W628361767 citedByCount "0" @default.
- W628361767 crossrefType "journal-article" @default.
- W628361767 hasAuthorship W628361767A5024267515 @default.
- W628361767 hasAuthorship W628361767A5042128349 @default.
- W628361767 hasAuthorship W628361767A5084573067 @default.
- W628361767 hasConcept C102234262 @default.
- W628361767 hasConcept C105605280 @default.
- W628361767 hasConcept C108710211 @default.
- W628361767 hasConcept C113174947 @default.
- W628361767 hasConcept C11413529 @default.
- W628361767 hasConcept C114614502 @default.
- W628361767 hasConcept C118615104 @default.
- W628361767 hasConcept C138268822 @default.
- W628361767 hasConcept C144237770 @default.
- W628361767 hasConcept C151730666 @default.
- W628361767 hasConcept C154945302 @default.
- W628361767 hasConcept C165464430 @default.
- W628361767 hasConcept C171250308 @default.
- W628361767 hasConcept C171988527 @default.
- W628361767 hasConcept C177142836 @default.
- W628361767 hasConcept C192562407 @default.
- W628361767 hasConcept C199360897 @default.
- W628361767 hasConcept C2524010 @default.
- W628361767 hasConcept C2779343474 @default.
- W628361767 hasConcept C2780841128 @default.
- W628361767 hasConcept C33923547 @default.
- W628361767 hasConcept C41008148 @default.
- W628361767 hasConcept C527412718 @default.
- W628361767 hasConcept C73795354 @default.
- W628361767 hasConcept C86803240 @default.
- W628361767 hasConceptScore W628361767C102234262 @default.
- W628361767 hasConceptScore W628361767C105605280 @default.
- W628361767 hasConceptScore W628361767C108710211 @default.
- W628361767 hasConceptScore W628361767C113174947 @default.
- W628361767 hasConceptScore W628361767C11413529 @default.
- W628361767 hasConceptScore W628361767C114614502 @default.
- W628361767 hasConceptScore W628361767C118615104 @default.
- W628361767 hasConceptScore W628361767C138268822 @default.
- W628361767 hasConceptScore W628361767C144237770 @default.
- W628361767 hasConceptScore W628361767C151730666 @default.
- W628361767 hasConceptScore W628361767C154945302 @default.
- W628361767 hasConceptScore W628361767C165464430 @default.
- W628361767 hasConceptScore W628361767C171250308 @default.
- W628361767 hasConceptScore W628361767C171988527 @default.
- W628361767 hasConceptScore W628361767C177142836 @default.
- W628361767 hasConceptScore W628361767C192562407 @default.
- W628361767 hasConceptScore W628361767C199360897 @default.
- W628361767 hasConceptScore W628361767C2524010 @default.
- W628361767 hasConceptScore W628361767C2779343474 @default.
- W628361767 hasConceptScore W628361767C2780841128 @default.
- W628361767 hasConceptScore W628361767C33923547 @default.
- W628361767 hasConceptScore W628361767C41008148 @default.
- W628361767 hasConceptScore W628361767C527412718 @default.
- W628361767 hasConceptScore W628361767C73795354 @default.
- W628361767 hasConceptScore W628361767C86803240 @default.
- W628361767 hasIssue "161" @default.
- W628361767 hasLocation W6283617671 @default.
- W628361767 hasOpenAccess W628361767 @default.
- W628361767 hasPrimaryLocation W6283617671 @default.
- W628361767 hasRelatedWork W1546322673 @default.
- W628361767 hasRelatedWork W1606511448 @default.
- W628361767 hasRelatedWork W1817813502 @default.
- W628361767 hasRelatedWork W1836725053 @default.
- W628361767 hasRelatedWork W1946255743 @default.
- W628361767 hasRelatedWork W2021972008 @default.
- W628361767 hasRelatedWork W2070894968 @default.
- W628361767 hasRelatedWork W2093967439 @default.
- W628361767 hasRelatedWork W2097206148 @default.
- W628361767 hasRelatedWork W2103193591 @default.
- W628361767 hasRelatedWork W2130847546 @default.
- W628361767 hasRelatedWork W2143313747 @default.
- W628361767 hasRelatedWork W2218897312 @default.
- W628361767 hasRelatedWork W2570844665 @default.
- W628361767 hasRelatedWork W2741628291 @default.
- W628361767 hasRelatedWork W2786933490 @default.
- W628361767 hasRelatedWork W2794524511 @default.
- W628361767 hasRelatedWork W2950876747 @default.
- W628361767 hasRelatedWork W3010621526 @default.
- W628361767 hasRelatedWork W3158765418 @default.
- W628361767 hasVolume "19" @default.
- W628361767 isParatext "false" @default.
- W628361767 isRetracted "false" @default.
- W628361767 magId "628361767" @default.
- W628361767 workType "article" @default.