Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287905973> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4287905973 abstract "We establish an exactly tight relation between reversible pebblings of graphs and Nullstellensatz refutations of pebbling formulas, showing that a graph $G$ can be reversibly pebbled in time $t$ and space $s$ if and only if there is a Nullstellensatz refutation of the pebbling formula over $G$ in size $t+1$ and degree $s$ (independently of the field in which the Nullstellensatz refutation is made). We use this correspondence to prove a number of strong size-degree trade-offs for Nullstellensatz, which to the best of our knowledge are the first such results for this proof system." @default.
- W4287905973 created "2022-07-26" @default.
- W4287905973 creator A5003633660 @default.
- W4287905973 creator A5021914150 @default.
- W4287905973 creator A5057666042 @default.
- W4287905973 creator A5071686980 @default.
- W4287905973 date "2020-01-08" @default.
- W4287905973 modified "2023-10-16" @default.
- W4287905973 title "Nullstellensatz Size-Degree Trade-offs from Reversible Pebbling" @default.
- W4287905973 doi "https://doi.org/10.48550/arxiv.2001.02481" @default.
- W4287905973 hasPublicationYear "2020" @default.
- W4287905973 type Work @default.
- W4287905973 citedByCount "0" @default.
- W4287905973 crossrefType "posted-content" @default.
- W4287905973 hasAuthorship W4287905973A5003633660 @default.
- W4287905973 hasAuthorship W4287905973A5021914150 @default.
- W4287905973 hasAuthorship W4287905973A5057666042 @default.
- W4287905973 hasAuthorship W4287905973A5071686980 @default.
- W4287905973 hasBestOaLocation W42879059731 @default.
- W4287905973 hasConcept C111919701 @default.
- W4287905973 hasConcept C114614502 @default.
- W4287905973 hasConcept C121332964 @default.
- W4287905973 hasConcept C132525143 @default.
- W4287905973 hasConcept C24890656 @default.
- W4287905973 hasConcept C2775997480 @default.
- W4287905973 hasConcept C2778572836 @default.
- W4287905973 hasConcept C33923547 @default.
- W4287905973 hasConcept C41008148 @default.
- W4287905973 hasConceptScore W4287905973C111919701 @default.
- W4287905973 hasConceptScore W4287905973C114614502 @default.
- W4287905973 hasConceptScore W4287905973C121332964 @default.
- W4287905973 hasConceptScore W4287905973C132525143 @default.
- W4287905973 hasConceptScore W4287905973C24890656 @default.
- W4287905973 hasConceptScore W4287905973C2775997480 @default.
- W4287905973 hasConceptScore W4287905973C2778572836 @default.
- W4287905973 hasConceptScore W4287905973C33923547 @default.
- W4287905973 hasConceptScore W4287905973C41008148 @default.
- W4287905973 hasLocation W42879059731 @default.
- W4287905973 hasLocation W42879059732 @default.
- W4287905973 hasLocation W42879059733 @default.
- W4287905973 hasOpenAccess W4287905973 @default.
- W4287905973 hasPrimaryLocation W42879059731 @default.
- W4287905973 hasRelatedWork W10642715 @default.
- W4287905973 hasRelatedWork W11634937 @default.
- W4287905973 hasRelatedWork W12985036 @default.
- W4287905973 hasRelatedWork W15575404 @default.
- W4287905973 hasRelatedWork W16721768 @default.
- W4287905973 hasRelatedWork W1980414 @default.
- W4287905973 hasRelatedWork W38533780 @default.
- W4287905973 hasRelatedWork W40262007 @default.
- W4287905973 hasRelatedWork W56332084 @default.
- W4287905973 hasRelatedWork W59058852 @default.
- W4287905973 isParatext "false" @default.
- W4287905973 isRetracted "false" @default.
- W4287905973 workType "article" @default.