Matches in SemOpenAlex for { <https://semopenalex.org/work/W2401804650> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2401804650 startingPage "152" @default.
- W2401804650 abstract "The groundbreaking paper 'Short proofs are narrow - resolution made simple' by Ben-Sasson and Wigderson (J. ACM 2001) introduces what is today arguably the main technique to obtain resolution lower bounds: to show a lower bound for the width of proofs. Another important measure for resolution is space, and in their fundamental work, Atserias and Dalmau (J. Comput. Syst. Sci. 2008) show that space lower bounds again can be obtained via width lower bounds. Here we assess whether similar techniques are effective for resolution calculi for quantified Boolean formulas (QBF). A mixed picture emerges. Our main results show that both the relations between size and width as well as between space and width drastically fail in Q-resolution, even in its weaker tree-like version. On the other hand, we obtain positive results for the expansion-based resolution systems Forall-Exp+Res and IR-calc, however only in the weak tree-like models. Technically, our negative results rely on showing width lower bounds together with simultaneous upper bounds for size and space. For our positive results we exhibit space and width-preserving simulations between QBF resolution calculi." @default.
- W2401804650 created "2016-06-24" @default.
- W2401804650 creator A5020709378 @default.
- W2401804650 creator A5042128349 @default.
- W2401804650 creator A5083294974 @default.
- W2401804650 creator A5085555660 @default.
- W2401804650 date "2015-01-01" @default.
- W2401804650 modified "2023-09-22" @default.
- W2401804650 title "Are Short Proofs Narrow? QBF Resolution is not Simple." @default.
- W2401804650 hasPublicationYear "2015" @default.
- W2401804650 type Work @default.
- W2401804650 sameAs 2401804650 @default.
- W2401804650 citedByCount "0" @default.
- W2401804650 crossrefType "journal-article" @default.
- W2401804650 hasAuthorship W2401804650A5020709378 @default.
- W2401804650 hasAuthorship W2401804650A5042128349 @default.
- W2401804650 hasAuthorship W2401804650A5083294974 @default.
- W2401804650 hasAuthorship W2401804650A5085555660 @default.
- W2401804650 hasConcept C105605280 @default.
- W2401804650 hasConcept C108710211 @default.
- W2401804650 hasConcept C111472728 @default.
- W2401804650 hasConcept C111919701 @default.
- W2401804650 hasConcept C113174947 @default.
- W2401804650 hasConcept C11413529 @default.
- W2401804650 hasConcept C114614502 @default.
- W2401804650 hasConcept C118615104 @default.
- W2401804650 hasConcept C124101348 @default.
- W2401804650 hasConcept C134306372 @default.
- W2401804650 hasConcept C138268822 @default.
- W2401804650 hasConcept C138885662 @default.
- W2401804650 hasConcept C154945302 @default.
- W2401804650 hasConcept C2524010 @default.
- W2401804650 hasConcept C2778572836 @default.
- W2401804650 hasConcept C2780009758 @default.
- W2401804650 hasConcept C2780586882 @default.
- W2401804650 hasConcept C33923547 @default.
- W2401804650 hasConcept C41008148 @default.
- W2401804650 hasConcept C77553402 @default.
- W2401804650 hasConceptScore W2401804650C105605280 @default.
- W2401804650 hasConceptScore W2401804650C108710211 @default.
- W2401804650 hasConceptScore W2401804650C111472728 @default.
- W2401804650 hasConceptScore W2401804650C111919701 @default.
- W2401804650 hasConceptScore W2401804650C113174947 @default.
- W2401804650 hasConceptScore W2401804650C11413529 @default.
- W2401804650 hasConceptScore W2401804650C114614502 @default.
- W2401804650 hasConceptScore W2401804650C118615104 @default.
- W2401804650 hasConceptScore W2401804650C124101348 @default.
- W2401804650 hasConceptScore W2401804650C134306372 @default.
- W2401804650 hasConceptScore W2401804650C138268822 @default.
- W2401804650 hasConceptScore W2401804650C138885662 @default.
- W2401804650 hasConceptScore W2401804650C154945302 @default.
- W2401804650 hasConceptScore W2401804650C2524010 @default.
- W2401804650 hasConceptScore W2401804650C2778572836 @default.
- W2401804650 hasConceptScore W2401804650C2780009758 @default.
- W2401804650 hasConceptScore W2401804650C2780586882 @default.
- W2401804650 hasConceptScore W2401804650C33923547 @default.
- W2401804650 hasConceptScore W2401804650C41008148 @default.
- W2401804650 hasConceptScore W2401804650C77553402 @default.
- W2401804650 hasLocation W24018046501 @default.
- W2401804650 hasOpenAccess W2401804650 @default.
- W2401804650 hasPrimaryLocation W24018046501 @default.
- W2401804650 hasRelatedWork W114391025 @default.
- W2401804650 hasRelatedWork W1505776303 @default.
- W2401804650 hasRelatedWork W1615793053 @default.
- W2401804650 hasRelatedWork W2164683439 @default.
- W2401804650 hasRelatedWork W2230306000 @default.
- W2401804650 hasRelatedWork W2396233135 @default.
- W2401804650 hasRelatedWork W2400565179 @default.
- W2401804650 hasRelatedWork W2463107392 @default.
- W2401804650 hasRelatedWork W2511902872 @default.
- W2401804650 hasRelatedWork W2566096998 @default.
- W2401804650 hasRelatedWork W2577190292 @default.
- W2401804650 hasRelatedWork W2730643286 @default.
- W2401804650 hasRelatedWork W2767976260 @default.
- W2401804650 hasRelatedWork W2778491775 @default.
- W2401804650 hasRelatedWork W2801113289 @default.
- W2401804650 hasRelatedWork W2996566436 @default.
- W2401804650 hasRelatedWork W3037814438 @default.
- W2401804650 hasRelatedWork W3091081424 @default.
- W2401804650 hasRelatedWork W3198149897 @default.
- W2401804650 hasRelatedWork W343133375 @default.
- W2401804650 hasVolume "22" @default.
- W2401804650 isParatext "false" @default.
- W2401804650 isRetracted "false" @default.
- W2401804650 magId "2401804650" @default.
- W2401804650 workType "article" @default.