Matches in SemOpenAlex for { <https://semopenalex.org/work/W4298838271> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4298838271 abstract "In 2003, Atserias and Dalmau resolved a major open question about the resolution proof system by establishing that the space complexity of CNF formulas is always an upper bound on the width needed to refute them. Their proof is beautiful but somewhat mysterious in that it relies heavily on tools from finite model theory. We give an alternative, completely elementary proof that works by simple syntactic manipulations of resolution refutations. As a by-product, we develop a black-box technique for proving space lower bounds via a static complexity measure that works against any resolution refutation---previous techniques have been inherently adaptive. We conclude by showing that the related question for polynomial calculus (i.e., whether space is an upper bound on degree) seems unlikely to be resolvable by similar methods." @default.
- W4298838271 created "2022-10-02" @default.
- W4298838271 creator A5003633660 @default.
- W4298838271 creator A5014450397 @default.
- W4298838271 creator A5024267515 @default.
- W4298838271 creator A5047362769 @default.
- W4298838271 creator A5090900538 @default.
- W4298838271 date "2014-09-10" @default.
- W4298838271 modified "2023-10-16" @default.
- W4298838271 title "From Small Space to Small Width in Resolution" @default.
- W4298838271 doi "https://doi.org/10.48550/arxiv.1409.2978" @default.
- W4298838271 hasPublicationYear "2014" @default.
- W4298838271 type Work @default.
- W4298838271 citedByCount "0" @default.
- W4298838271 crossrefType "posted-content" @default.
- W4298838271 hasAuthorship W4298838271A5003633660 @default.
- W4298838271 hasAuthorship W4298838271A5014450397 @default.
- W4298838271 hasAuthorship W4298838271A5024267515 @default.
- W4298838271 hasAuthorship W4298838271A5047362769 @default.
- W4298838271 hasAuthorship W4298838271A5090900538 @default.
- W4298838271 hasBestOaLocation W42988382711 @default.
- W4298838271 hasConcept C105605280 @default.
- W4298838271 hasConcept C108710211 @default.
- W4298838271 hasConcept C111472728 @default.
- W4298838271 hasConcept C111919701 @default.
- W4298838271 hasConcept C11413529 @default.
- W4298838271 hasConcept C114614502 @default.
- W4298838271 hasConcept C118615104 @default.
- W4298838271 hasConcept C134306372 @default.
- W4298838271 hasConcept C138268822 @default.
- W4298838271 hasConcept C138885662 @default.
- W4298838271 hasConcept C154945302 @default.
- W4298838271 hasConcept C199343813 @default.
- W4298838271 hasConcept C202444582 @default.
- W4298838271 hasConcept C2524010 @default.
- W4298838271 hasConcept C2777686260 @default.
- W4298838271 hasConcept C2778572836 @default.
- W4298838271 hasConcept C2780009758 @default.
- W4298838271 hasConcept C2780586882 @default.
- W4298838271 hasConcept C33923547 @default.
- W4298838271 hasConcept C41008148 @default.
- W4298838271 hasConcept C71924100 @default.
- W4298838271 hasConcept C77088390 @default.
- W4298838271 hasConcept C77553402 @default.
- W4298838271 hasConcept C90119067 @default.
- W4298838271 hasConcept C90673727 @default.
- W4298838271 hasConceptScore W4298838271C105605280 @default.
- W4298838271 hasConceptScore W4298838271C108710211 @default.
- W4298838271 hasConceptScore W4298838271C111472728 @default.
- W4298838271 hasConceptScore W4298838271C111919701 @default.
- W4298838271 hasConceptScore W4298838271C11413529 @default.
- W4298838271 hasConceptScore W4298838271C114614502 @default.
- W4298838271 hasConceptScore W4298838271C118615104 @default.
- W4298838271 hasConceptScore W4298838271C134306372 @default.
- W4298838271 hasConceptScore W4298838271C138268822 @default.
- W4298838271 hasConceptScore W4298838271C138885662 @default.
- W4298838271 hasConceptScore W4298838271C154945302 @default.
- W4298838271 hasConceptScore W4298838271C199343813 @default.
- W4298838271 hasConceptScore W4298838271C202444582 @default.
- W4298838271 hasConceptScore W4298838271C2524010 @default.
- W4298838271 hasConceptScore W4298838271C2777686260 @default.
- W4298838271 hasConceptScore W4298838271C2778572836 @default.
- W4298838271 hasConceptScore W4298838271C2780009758 @default.
- W4298838271 hasConceptScore W4298838271C2780586882 @default.
- W4298838271 hasConceptScore W4298838271C33923547 @default.
- W4298838271 hasConceptScore W4298838271C41008148 @default.
- W4298838271 hasConceptScore W4298838271C71924100 @default.
- W4298838271 hasConceptScore W4298838271C77088390 @default.
- W4298838271 hasConceptScore W4298838271C77553402 @default.
- W4298838271 hasConceptScore W4298838271C90119067 @default.
- W4298838271 hasConceptScore W4298838271C90673727 @default.
- W4298838271 hasLocation W42988382711 @default.
- W4298838271 hasOpenAccess W4298838271 @default.
- W4298838271 hasPrimaryLocation W42988382711 @default.
- W4298838271 hasRelatedWork W1852359712 @default.
- W4298838271 hasRelatedWork W2009896212 @default.
- W4298838271 hasRelatedWork W2068483647 @default.
- W4298838271 hasRelatedWork W2085985792 @default.
- W4298838271 hasRelatedWork W2150406686 @default.
- W4298838271 hasRelatedWork W2288678542 @default.
- W4298838271 hasRelatedWork W2348623473 @default.
- W4298838271 hasRelatedWork W2389748081 @default.
- W4298838271 hasRelatedWork W2778491775 @default.
- W4298838271 hasRelatedWork W4210984194 @default.
- W4298838271 isParatext "false" @default.
- W4298838271 isRetracted "false" @default.
- W4298838271 workType "article" @default.