Matches in SemOpenAlex for { <https://semopenalex.org/work/W2578576649> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2578576649 startingPage "184" @default.
- W2578576649 abstract "We show that the total space in resolution, as well as in any other reasonable proof system, is equal (up to a polynomial and $${(logn)^{O(1)}}$$ factors) to the minimum refutation depth. In particular, all these variants of total space are equivalent in this sense. The same conclusion holds for variable space as long as we penalize for excessively (that is, super-exponential) long proofs, which makes the question about equivalence of variable space and depth about the same as the question of (non)-existence of “supercritical” tradeoffs between the variable space and the proof length. We provide a partial negative answer to this question: for all $${s(n) leq n^{1/2}}$$ there exist CNF contradictions $${tau_n}$$ that possess refutations with variable space s(n) but such that every refutation of $${tau_n}$$ with variable space $${o(s^2)}$$ must have double exponential length $${2^{2^{Omega(s)}}}$$ . We also include a much weaker tradeoff result between variable space and depth in the opposite range $${s(n) ll log n}$$ and show that no supercritical tradeoff is possible in this range." @default.
- W2578576649 created "2017-01-26" @default.
- W2578576649 creator A5008113826 @default.
- W2578576649 date "2016-01-01" @default.
- W2578576649 modified "2023-10-18" @default.
- W2578576649 title "On Space and Depth in Resolution." @default.
- W2578576649 hasPublicationYear "2016" @default.
- W2578576649 type Work @default.
- W2578576649 sameAs 2578576649 @default.
- W2578576649 citedByCount "0" @default.
- W2578576649 crossrefType "journal-article" @default.
- W2578576649 hasAuthorship W2578576649A5008113826 @default.
- W2578576649 hasConcept C111919701 @default.
- W2578576649 hasConcept C138268822 @default.
- W2578576649 hasConcept C154945302 @default.
- W2578576649 hasConcept C2524010 @default.
- W2578576649 hasConcept C2778572836 @default.
- W2578576649 hasConcept C33923547 @default.
- W2578576649 hasConcept C41008148 @default.
- W2578576649 hasConceptScore W2578576649C111919701 @default.
- W2578576649 hasConceptScore W2578576649C138268822 @default.
- W2578576649 hasConceptScore W2578576649C154945302 @default.
- W2578576649 hasConceptScore W2578576649C2524010 @default.
- W2578576649 hasConceptScore W2578576649C2778572836 @default.
- W2578576649 hasConceptScore W2578576649C33923547 @default.
- W2578576649 hasConceptScore W2578576649C41008148 @default.
- W2578576649 hasLocation W25785766491 @default.
- W2578576649 hasOpenAccess W2578576649 @default.
- W2578576649 hasPrimaryLocation W25785766491 @default.
- W2578576649 hasRelatedWork W1599560752 @default.
- W2578576649 hasRelatedWork W1637668477 @default.
- W2578576649 hasRelatedWork W2056913425 @default.
- W2578576649 hasRelatedWork W2146940934 @default.
- W2578576649 hasRelatedWork W2275373716 @default.
- W2578576649 hasRelatedWork W2399207014 @default.
- W2578576649 hasRelatedWork W2506638938 @default.
- W2578576649 hasRelatedWork W2616377441 @default.
- W2578576649 hasRelatedWork W2952683432 @default.
- W2578576649 hasRelatedWork W2990219750 @default.
- W2578576649 hasRelatedWork W3016883859 @default.
- W2578576649 hasRelatedWork W3048484789 @default.
- W2578576649 hasRelatedWork W3098403304 @default.
- W2578576649 hasRelatedWork W3119097474 @default.
- W2578576649 hasRelatedWork W3136910307 @default.
- W2578576649 hasRelatedWork W3139356434 @default.
- W2578576649 hasRelatedWork W3166470924 @default.
- W2578576649 hasRelatedWork W3170577693 @default.
- W2578576649 hasRelatedWork W3209059903 @default.
- W2578576649 hasRelatedWork W68102810 @default.
- W2578576649 hasVolume "23" @default.
- W2578576649 isParatext "false" @default.
- W2578576649 isRetracted "false" @default.
- W2578576649 magId "2578576649" @default.
- W2578576649 workType "article" @default.