Matches in SemOpenAlex for { <https://semopenalex.org/work/W1571909284> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1571909284 abstract "We analyze size and space complexity of Res(k), a family of proof systems introduced by Kraj��ek in [16] which extend Resolution by allowing disjunctions of conjunctions of up to k � 1 literals. We prove the following results: (1) The treelike Res(k) proof systems form a strict hierarchy with respect to proof size and also with respect to space. (2) Resolution polynomially simulates treelike Res(k), and is almost exponentially separated from treelike Res(k). (3) The space lower bounds known for Resolution also carry over to Res(k). We obtain almost optimal space lower bounds for PHPn, GTn, Random Formulas, CTn, and Tseitin Tautologies." @default.
- W1571909284 created "2016-06-24" @default.
- W1571909284 creator A5084573067 @default.
- W1571909284 creator A5089588504 @default.
- W1571909284 creator A5032733958 @default.
- W1571909284 date "2002-01-01" @default.
- W1571909284 modified "2023-10-08" @default.
- W1571909284 title "On the Complexity of Resolution with Bounded Conjunctions" @default.
- W1571909284 cites W1521859395 @default.
- W1571909284 cites W1988083342 @default.
- W1571909284 cites W1997338813 @default.
- W1571909284 cites W1999069928 @default.
- W1571909284 cites W2026967932 @default.
- W1571909284 cites W2047237020 @default.
- W1571909284 cites W2068363706 @default.
- W1571909284 cites W2069767473 @default.
- W1571909284 cites W2071347463 @default.
- W1571909284 cites W2077054189 @default.
- W1571909284 cites W2088616860 @default.
- W1571909284 cites W2095226356 @default.
- W1571909284 cites W2097746739 @default.
- W1571909284 cites W2114817374 @default.
- W1571909284 cites W2132148988 @default.
- W1571909284 cites W2159170152 @default.
- W1571909284 cites W4230824021 @default.
- W1571909284 doi "https://doi.org/10.1007/3-540-45465-9_20" @default.
- W1571909284 hasPublicationYear "2002" @default.
- W1571909284 type Work @default.
- W1571909284 sameAs 1571909284 @default.
- W1571909284 citedByCount "10" @default.
- W1571909284 countsByYear W15719092842013 @default.
- W1571909284 crossrefType "book-chapter" @default.
- W1571909284 hasAuthorship W1571909284A5032733958 @default.
- W1571909284 hasAuthorship W1571909284A5084573067 @default.
- W1571909284 hasAuthorship W1571909284A5089588504 @default.
- W1571909284 hasConcept C105605280 @default.
- W1571909284 hasConcept C108710211 @default.
- W1571909284 hasConcept C111919701 @default.
- W1571909284 hasConcept C11413529 @default.
- W1571909284 hasConcept C118615104 @default.
- W1571909284 hasConcept C134306372 @default.
- W1571909284 hasConcept C138268822 @default.
- W1571909284 hasConcept C154945302 @default.
- W1571909284 hasConcept C162324750 @default.
- W1571909284 hasConcept C179799912 @default.
- W1571909284 hasConcept C2318724 @default.
- W1571909284 hasConcept C2524010 @default.
- W1571909284 hasConcept C2778572836 @default.
- W1571909284 hasConcept C31170391 @default.
- W1571909284 hasConcept C33923547 @default.
- W1571909284 hasConcept C34388435 @default.
- W1571909284 hasConcept C34447519 @default.
- W1571909284 hasConcept C41008148 @default.
- W1571909284 hasConcept C77553402 @default.
- W1571909284 hasConceptScore W1571909284C105605280 @default.
- W1571909284 hasConceptScore W1571909284C108710211 @default.
- W1571909284 hasConceptScore W1571909284C111919701 @default.
- W1571909284 hasConceptScore W1571909284C11413529 @default.
- W1571909284 hasConceptScore W1571909284C118615104 @default.
- W1571909284 hasConceptScore W1571909284C134306372 @default.
- W1571909284 hasConceptScore W1571909284C138268822 @default.
- W1571909284 hasConceptScore W1571909284C154945302 @default.
- W1571909284 hasConceptScore W1571909284C162324750 @default.
- W1571909284 hasConceptScore W1571909284C179799912 @default.
- W1571909284 hasConceptScore W1571909284C2318724 @default.
- W1571909284 hasConceptScore W1571909284C2524010 @default.
- W1571909284 hasConceptScore W1571909284C2778572836 @default.
- W1571909284 hasConceptScore W1571909284C31170391 @default.
- W1571909284 hasConceptScore W1571909284C33923547 @default.
- W1571909284 hasConceptScore W1571909284C34388435 @default.
- W1571909284 hasConceptScore W1571909284C34447519 @default.
- W1571909284 hasConceptScore W1571909284C41008148 @default.
- W1571909284 hasConceptScore W1571909284C77553402 @default.
- W1571909284 hasLocation W15719092841 @default.
- W1571909284 hasOpenAccess W1571909284 @default.
- W1571909284 hasPrimaryLocation W15719092841 @default.
- W1571909284 hasRelatedWork W114391025 @default.
- W1571909284 hasRelatedWork W1607926272 @default.
- W1571909284 hasRelatedWork W1988083342 @default.
- W1571909284 hasRelatedWork W2026967932 @default.
- W1571909284 hasRelatedWork W2041857712 @default.
- W1571909284 hasRelatedWork W2047237020 @default.
- W1571909284 hasRelatedWork W2057361103 @default.
- W1571909284 hasRelatedWork W2069767473 @default.
- W1571909284 hasRelatedWork W2074946288 @default.
- W1571909284 hasRelatedWork W2084384424 @default.
- W1571909284 hasRelatedWork W2089789793 @default.
- W1571909284 hasRelatedWork W2095226356 @default.
- W1571909284 hasRelatedWork W2097113315 @default.
- W1571909284 hasRelatedWork W2108500987 @default.
- W1571909284 hasRelatedWork W2142777206 @default.
- W1571909284 hasRelatedWork W2159170152 @default.
- W1571909284 hasRelatedWork W2163996090 @default.
- W1571909284 hasRelatedWork W2969535762 @default.
- W1571909284 hasRelatedWork W3128613656 @default.
- W1571909284 hasRelatedWork W3196429718 @default.
- W1571909284 isParatext "false" @default.
- W1571909284 isRetracted "false" @default.
- W1571909284 magId "1571909284" @default.
- W1571909284 workType "book-chapter" @default.