Matches in SemOpenAlex for { <https://semopenalex.org/work/W2275373716> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2275373716 endingPage "257" @default.
- W2275373716 startingPage "248" @default.
- W2275373716 abstract "We consider a restriction of the Resolution proof system in which at most a fixed number of variables can be resolved more than once along each refutation path. This system lies between regular Resolution, in which no variable can be resolved more than once along any path, and general Resolution where there is no restriction on the number of such variables. We show that when the number of re-resolved variables is not too large, this proof system is consistent with the Strong Exponential Time Hypothesis (SETH). More precisely for large n and k we show that there are unsatisfiable k-CNF formulas which require Resolution refutations of size 2^{(1 - epsilon_k)n}, where n is the number of variables and epsilon_k=~O(k^{-1/5}), whenever in each refutation path we only allow at most ~O(k^{-1/5})n variables to be resolved multiple times. However, these re-resolved variables along different paths do not need to be the same. Prior to this work, the strongest proof system shown to be consistent with SETH was regular Resolution [Beck and Impagliazzo, STOC'13]. This work strengthens that result and gives a different and conceptually simpler game-theoretic proof for the case of regular Resolution." @default.
- W2275373716 created "2016-06-24" @default.
- W2275373716 creator A5019353955 @default.
- W2275373716 creator A5057227296 @default.
- W2275373716 date "2015-01-01" @default.
- W2275373716 modified "2023-10-18" @default.
- W2275373716 title "Strong ETH and Resolution via Games and the Multiplicity of Strategies." @default.
- W2275373716 doi "https://doi.org/10.4230/lipics.ipec.2015.248" @default.
- W2275373716 hasPublicationYear "2015" @default.
- W2275373716 type Work @default.
- W2275373716 sameAs 2275373716 @default.
- W2275373716 citedByCount "0" @default.
- W2275373716 crossrefType "proceedings-article" @default.
- W2275373716 hasAuthorship W2275373716A5019353955 @default.
- W2275373716 hasAuthorship W2275373716A5057227296 @default.
- W2275373716 hasConcept C114614502 @default.
- W2275373716 hasConcept C118615104 @default.
- W2275373716 hasConcept C134306372 @default.
- W2275373716 hasConcept C136979486 @default.
- W2275373716 hasConcept C138268822 @default.
- W2275373716 hasConcept C154945302 @default.
- W2275373716 hasConcept C156004811 @default.
- W2275373716 hasConcept C156340839 @default.
- W2275373716 hasConcept C182365436 @default.
- W2275373716 hasConcept C199360897 @default.
- W2275373716 hasConcept C2777735758 @default.
- W2275373716 hasConcept C33923547 @default.
- W2275373716 hasConcept C41008148 @default.
- W2275373716 hasConceptScore W2275373716C114614502 @default.
- W2275373716 hasConceptScore W2275373716C118615104 @default.
- W2275373716 hasConceptScore W2275373716C134306372 @default.
- W2275373716 hasConceptScore W2275373716C136979486 @default.
- W2275373716 hasConceptScore W2275373716C138268822 @default.
- W2275373716 hasConceptScore W2275373716C154945302 @default.
- W2275373716 hasConceptScore W2275373716C156004811 @default.
- W2275373716 hasConceptScore W2275373716C156340839 @default.
- W2275373716 hasConceptScore W2275373716C182365436 @default.
- W2275373716 hasConceptScore W2275373716C199360897 @default.
- W2275373716 hasConceptScore W2275373716C2777735758 @default.
- W2275373716 hasConceptScore W2275373716C33923547 @default.
- W2275373716 hasConceptScore W2275373716C41008148 @default.
- W2275373716 hasLocation W22753737161 @default.
- W2275373716 hasOpenAccess W2275373716 @default.
- W2275373716 hasPrimaryLocation W22753737161 @default.
- W2275373716 hasRelatedWork W1517026276 @default.
- W2275373716 hasRelatedWork W1637668477 @default.
- W2275373716 hasRelatedWork W165576499 @default.
- W2275373716 hasRelatedWork W1967025884 @default.
- W2275373716 hasRelatedWork W2043427219 @default.
- W2275373716 hasRelatedWork W2061320783 @default.
- W2275373716 hasRelatedWork W2115108282 @default.
- W2275373716 hasRelatedWork W2135651340 @default.
- W2275373716 hasRelatedWork W2146940934 @default.
- W2275373716 hasRelatedWork W2294958883 @default.
- W2275373716 hasRelatedWork W2401175776 @default.
- W2275373716 hasRelatedWork W2578576649 @default.
- W2275373716 hasRelatedWork W2621945510 @default.
- W2275373716 hasRelatedWork W2898996103 @default.
- W2275373716 hasRelatedWork W2963592743 @default.
- W2275373716 hasRelatedWork W2964044319 @default.
- W2275373716 hasRelatedWork W3098403304 @default.
- W2275373716 hasRelatedWork W3099961020 @default.
- W2275373716 hasRelatedWork W3166470924 @default.
- W2275373716 hasRelatedWork W3209059903 @default.
- W2275373716 hasVolume "43" @default.
- W2275373716 isParatext "false" @default.
- W2275373716 isRetracted "false" @default.
- W2275373716 magId "2275373716" @default.
- W2275373716 workType "article" @default.