Matches in SemOpenAlex for { <https://semopenalex.org/work/W2109895531> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2109895531 endingPage "1035" @default.
- W2109895531 startingPage "1030" @default.
- W2109895531 abstract "We present a greatly simplified proof of the length-space trade-off result for resolution in [P. Hertel, T. Pitassi, Exponential time/space speedups for resolution and the PSPACE-completeness of black-white pebbling, in: Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS '07), Oct. 2007, pp. 137–149], and also prove a couple of other theorems in the same vein. We point out two important ingredients needed for our proofs to work, and discuss some possible conclusions. Our key trick is to look at formulas of the type F=G∧H, where G and H are over disjoint sets of variables and have very different length-space properties with respect to resolution." @default.
- W2109895531 created "2016-06-24" @default.
- W2109895531 creator A5003633660 @default.
- W2109895531 date "2009-08-01" @default.
- W2109895531 modified "2023-10-16" @default.
- W2109895531 title "A simplified way of proving trade-off results for resolution" @default.
- W2109895531 cites W1974070050 @default.
- W2109895531 cites W1990932978 @default.
- W2109895531 cites W2071347463 @default.
- W2109895531 cites W2084029169 @default.
- W2109895531 cites W2084384424 @default.
- W2109895531 cites W2098022011 @default.
- W2109895531 cites W2100714716 @default.
- W2109895531 cites W2122782108 @default.
- W2109895531 cites W2126362918 @default.
- W2109895531 cites W2129413084 @default.
- W2109895531 cites W2154976719 @default.
- W2109895531 cites W2158505527 @default.
- W2109895531 cites W2985351939 @default.
- W2109895531 doi "https://doi.org/10.1016/j.ipl.2009.06.006" @default.
- W2109895531 hasPublicationYear "2009" @default.
- W2109895531 type Work @default.
- W2109895531 sameAs 2109895531 @default.
- W2109895531 citedByCount "22" @default.
- W2109895531 countsByYear W21098955312012 @default.
- W2109895531 countsByYear W21098955312013 @default.
- W2109895531 countsByYear W21098955312015 @default.
- W2109895531 countsByYear W21098955312016 @default.
- W2109895531 countsByYear W21098955312017 @default.
- W2109895531 countsByYear W21098955312018 @default.
- W2109895531 countsByYear W21098955312019 @default.
- W2109895531 countsByYear W21098955312021 @default.
- W2109895531 crossrefType "journal-article" @default.
- W2109895531 hasAuthorship W2109895531A5003633660 @default.
- W2109895531 hasConcept C108710211 @default.
- W2109895531 hasConcept C111919701 @default.
- W2109895531 hasConcept C11413529 @default.
- W2109895531 hasConcept C114614502 @default.
- W2109895531 hasConcept C118615104 @default.
- W2109895531 hasConcept C134306372 @default.
- W2109895531 hasConcept C138268822 @default.
- W2109895531 hasConcept C17231256 @default.
- W2109895531 hasConcept C179799912 @default.
- W2109895531 hasConcept C197685441 @default.
- W2109895531 hasConcept C199360897 @default.
- W2109895531 hasConcept C2524010 @default.
- W2109895531 hasConcept C26517878 @default.
- W2109895531 hasConcept C2778572836 @default.
- W2109895531 hasConcept C33923547 @default.
- W2109895531 hasConcept C38652104 @default.
- W2109895531 hasConcept C41008148 @default.
- W2109895531 hasConcept C45340560 @default.
- W2109895531 hasConceptScore W2109895531C108710211 @default.
- W2109895531 hasConceptScore W2109895531C111919701 @default.
- W2109895531 hasConceptScore W2109895531C11413529 @default.
- W2109895531 hasConceptScore W2109895531C114614502 @default.
- W2109895531 hasConceptScore W2109895531C118615104 @default.
- W2109895531 hasConceptScore W2109895531C134306372 @default.
- W2109895531 hasConceptScore W2109895531C138268822 @default.
- W2109895531 hasConceptScore W2109895531C17231256 @default.
- W2109895531 hasConceptScore W2109895531C179799912 @default.
- W2109895531 hasConceptScore W2109895531C197685441 @default.
- W2109895531 hasConceptScore W2109895531C199360897 @default.
- W2109895531 hasConceptScore W2109895531C2524010 @default.
- W2109895531 hasConceptScore W2109895531C26517878 @default.
- W2109895531 hasConceptScore W2109895531C2778572836 @default.
- W2109895531 hasConceptScore W2109895531C33923547 @default.
- W2109895531 hasConceptScore W2109895531C38652104 @default.
- W2109895531 hasConceptScore W2109895531C41008148 @default.
- W2109895531 hasConceptScore W2109895531C45340560 @default.
- W2109895531 hasIssue "18" @default.
- W2109895531 hasLocation W21098955311 @default.
- W2109895531 hasOpenAccess W2109895531 @default.
- W2109895531 hasPrimaryLocation W21098955311 @default.
- W2109895531 hasRelatedWork W106894730 @default.
- W2109895531 hasRelatedWork W1262446233 @default.
- W2109895531 hasRelatedWork W2022782457 @default.
- W2109895531 hasRelatedWork W2035788602 @default.
- W2109895531 hasRelatedWork W2152478214 @default.
- W2109895531 hasRelatedWork W2601867360 @default.
- W2109895531 hasRelatedWork W2950810033 @default.
- W2109895531 hasRelatedWork W2985351939 @default.
- W2109895531 hasRelatedWork W46668428 @default.
- W2109895531 hasRelatedWork W860315492 @default.
- W2109895531 hasVolume "109" @default.
- W2109895531 isParatext "false" @default.
- W2109895531 isRetracted "false" @default.
- W2109895531 magId "2109895531" @default.
- W2109895531 workType "article" @default.