Matches in SemOpenAlex for { <https://semopenalex.org/work/W3000150945> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3000150945 startingPage "52" @default.
- W3000150945 abstract "We show that if a k-CNF requires width w to refute in resolution, then it requires space square root of √ω to refute in polynomial calculus, where the space of a polynomial calculus refutation is the number of monomials that must be kept in memory when working through the proof. This is the first analogue, in polynomial calculus, of Atserias and Dalmau's result lower-bounding clause space in resolution by resolution width. As a by-product of our new approach to space lower bounds we give a simple proof of Bonacina's recent result that total space in resolution (the total number of variable occurrences that must be kept in memory) is lower-bounded by the width squared. As corollaries of the main result we obtain some new lower bounds on the PCR space needed to refute specific formulas, as well as partial answers to some open problems about relations between space, size, and degree for polynomial calculus." @default.
- W3000150945 created "2020-01-23" @default.
- W3000150945 creator A5007592654 @default.
- W3000150945 creator A5016862013 @default.
- W3000150945 creator A5084573067 @default.
- W3000150945 date "2019-01-01" @default.
- W3000150945 modified "2023-09-25" @default.
- W3000150945 title "Polynomial calculus space and resolution width." @default.
- W3000150945 hasPublicationYear "2019" @default.
- W3000150945 type Work @default.
- W3000150945 sameAs 3000150945 @default.
- W3000150945 citedByCount "0" @default.
- W3000150945 crossrefType "journal-article" @default.
- W3000150945 hasAuthorship W3000150945A5007592654 @default.
- W3000150945 hasAuthorship W3000150945A5016862013 @default.
- W3000150945 hasAuthorship W3000150945A5084573067 @default.
- W3000150945 hasConcept C111919701 @default.
- W3000150945 hasConcept C11252640 @default.
- W3000150945 hasConcept C114614502 @default.
- W3000150945 hasConcept C118615104 @default.
- W3000150945 hasConcept C134306372 @default.
- W3000150945 hasConcept C136119220 @default.
- W3000150945 hasConcept C138268822 @default.
- W3000150945 hasConcept C154945302 @default.
- W3000150945 hasConcept C199343813 @default.
- W3000150945 hasConcept C202444582 @default.
- W3000150945 hasConcept C2777686260 @default.
- W3000150945 hasConcept C2778572836 @default.
- W3000150945 hasConcept C33923547 @default.
- W3000150945 hasConcept C34388435 @default.
- W3000150945 hasConcept C41008148 @default.
- W3000150945 hasConcept C71924100 @default.
- W3000150945 hasConcept C90119067 @default.
- W3000150945 hasConceptScore W3000150945C111919701 @default.
- W3000150945 hasConceptScore W3000150945C11252640 @default.
- W3000150945 hasConceptScore W3000150945C114614502 @default.
- W3000150945 hasConceptScore W3000150945C118615104 @default.
- W3000150945 hasConceptScore W3000150945C134306372 @default.
- W3000150945 hasConceptScore W3000150945C136119220 @default.
- W3000150945 hasConceptScore W3000150945C138268822 @default.
- W3000150945 hasConceptScore W3000150945C154945302 @default.
- W3000150945 hasConceptScore W3000150945C199343813 @default.
- W3000150945 hasConceptScore W3000150945C202444582 @default.
- W3000150945 hasConceptScore W3000150945C2777686260 @default.
- W3000150945 hasConceptScore W3000150945C2778572836 @default.
- W3000150945 hasConceptScore W3000150945C33923547 @default.
- W3000150945 hasConceptScore W3000150945C34388435 @default.
- W3000150945 hasConceptScore W3000150945C41008148 @default.
- W3000150945 hasConceptScore W3000150945C71924100 @default.
- W3000150945 hasConceptScore W3000150945C90119067 @default.
- W3000150945 hasLocation W30001509451 @default.
- W3000150945 hasOpenAccess W3000150945 @default.
- W3000150945 hasPrimaryLocation W30001509451 @default.
- W3000150945 hasRelatedWork W1262446233 @default.
- W3000150945 hasRelatedWork W151552961 @default.
- W3000150945 hasRelatedWork W1572996061 @default.
- W3000150945 hasRelatedWork W1605587277 @default.
- W3000150945 hasRelatedWork W1815771810 @default.
- W3000150945 hasRelatedWork W1975857059 @default.
- W3000150945 hasRelatedWork W2006906201 @default.
- W3000150945 hasRelatedWork W2026299856 @default.
- W3000150945 hasRelatedWork W2042347326 @default.
- W3000150945 hasRelatedWork W2046337029 @default.
- W3000150945 hasRelatedWork W2071347463 @default.
- W3000150945 hasRelatedWork W2076972272 @default.
- W3000150945 hasRelatedWork W2139212134 @default.
- W3000150945 hasRelatedWork W2151437805 @default.
- W3000150945 hasRelatedWork W2187807808 @default.
- W3000150945 hasRelatedWork W2415009662 @default.
- W3000150945 hasRelatedWork W267309117 @default.
- W3000150945 hasRelatedWork W2940838265 @default.
- W3000150945 hasRelatedWork W2946964791 @default.
- W3000150945 hasRelatedWork W3091989972 @default.
- W3000150945 hasVolume "26" @default.
- W3000150945 isParatext "false" @default.
- W3000150945 isRetracted "false" @default.
- W3000150945 magId "3000150945" @default.
- W3000150945 workType "article" @default.