Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963865542> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2963865542 startingPage "14" @default.
- W2963865542 abstract "We show that there are CNF formulas which can be refuted in resolution in both small space and small width, but for which any small-width resolution proof must have space exceeding by far the linear worst-case upper bound. This significantly strengthens the space-width trade-offs in [Ben- Sasson 2009], and provides one more example of trade-offs in the supercritical regime above worst case recently identified by [Razborov 2016]. We obtain our results by using Razborov's new hardness condensation technique and combining it with the space lower bounds in [Ben-Sasson and Nordstrom 2008]." @default.
- W2963865542 created "2019-07-30" @default.
- W2963865542 creator A5003633660 @default.
- W2963865542 creator A5037918017 @default.
- W2963865542 date "2016-08-17" @default.
- W2963865542 modified "2023-10-02" @default.
- W2963865542 title "Supercritical space-width trade-offs for resolution" @default.
- W2963865542 doi "https://doi.org/10.4230/lipics.icalp.2016.57" @default.
- W2963865542 hasPublicationYear "2016" @default.
- W2963865542 type Work @default.
- W2963865542 sameAs 2963865542 @default.
- W2963865542 citedByCount "0" @default.
- W2963865542 crossrefType "proceedings-article" @default.
- W2963865542 hasAuthorship W2963865542A5003633660 @default.
- W2963865542 hasAuthorship W2963865542A5037918017 @default.
- W2963865542 hasConcept C111919701 @default.
- W2963865542 hasConcept C114614502 @default.
- W2963865542 hasConcept C118419359 @default.
- W2963865542 hasConcept C118615104 @default.
- W2963865542 hasConcept C121332964 @default.
- W2963865542 hasConcept C126255220 @default.
- W2963865542 hasConcept C134306372 @default.
- W2963865542 hasConcept C138268822 @default.
- W2963865542 hasConcept C154945302 @default.
- W2963865542 hasConcept C2778572836 @default.
- W2963865542 hasConcept C33923547 @default.
- W2963865542 hasConcept C41008148 @default.
- W2963865542 hasConcept C77553402 @default.
- W2963865542 hasConcept C97355855 @default.
- W2963865542 hasConceptScore W2963865542C111919701 @default.
- W2963865542 hasConceptScore W2963865542C114614502 @default.
- W2963865542 hasConceptScore W2963865542C118419359 @default.
- W2963865542 hasConceptScore W2963865542C118615104 @default.
- W2963865542 hasConceptScore W2963865542C121332964 @default.
- W2963865542 hasConceptScore W2963865542C126255220 @default.
- W2963865542 hasConceptScore W2963865542C134306372 @default.
- W2963865542 hasConceptScore W2963865542C138268822 @default.
- W2963865542 hasConceptScore W2963865542C154945302 @default.
- W2963865542 hasConceptScore W2963865542C2778572836 @default.
- W2963865542 hasConceptScore W2963865542C33923547 @default.
- W2963865542 hasConceptScore W2963865542C41008148 @default.
- W2963865542 hasConceptScore W2963865542C77553402 @default.
- W2963865542 hasConceptScore W2963865542C97355855 @default.
- W2963865542 hasIssue "55" @default.
- W2963865542 hasLocation W29638655421 @default.
- W2963865542 hasOpenAccess W2963865542 @default.
- W2963865542 hasPrimaryLocation W29638655421 @default.
- W2963865542 hasRelatedWork W1889754528 @default.
- W2963865542 hasRelatedWork W1980190601 @default.
- W2963865542 hasRelatedWork W1996146326 @default.
- W2963865542 hasRelatedWork W2020067793 @default.
- W2963865542 hasRelatedWork W2021496873 @default.
- W2963865542 hasRelatedWork W2121154086 @default.
- W2963865542 hasRelatedWork W2144471532 @default.
- W2963865542 hasRelatedWork W2288678542 @default.
- W2963865542 hasRelatedWork W2369217534 @default.
- W2963865542 hasRelatedWork W2408537950 @default.
- W2963865542 hasRelatedWork W2491089607 @default.
- W2963865542 hasRelatedWork W2513045567 @default.
- W2963865542 hasRelatedWork W2535844948 @default.
- W2963865542 hasRelatedWork W2563018125 @default.
- W2963865542 hasRelatedWork W2571823922 @default.
- W2963865542 hasRelatedWork W2989873171 @default.
- W2963865542 hasRelatedWork W2185133332 @default.
- W2963865542 hasVolume "55" @default.
- W2963865542 isParatext "false" @default.
- W2963865542 isRetracted "false" @default.
- W2963865542 magId "2963865542" @default.
- W2963865542 workType "article" @default.