Matches in SemOpenAlex for { <https://semopenalex.org/work/W4212930203> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4212930203 endingPage "110" @default.
- W4212930203 startingPage "104" @default.
- W4212930203 abstract "A general theme in the proof of lower bounds on the size of resolution refutations in propositional logic has been that of basing size lower bounds on lower bounds on the width of refutations. Ben-Sasson and Wigderson have proved a general width-size tradeoff result that can be used to prove many of the lower bounds on resolution complexity in a uniform manner. However, it does not apply directly to the well known pigeonhole clauses. The present paper generalizes their width-size tradeoff so that it applies directly to (a monotone transformation of) the pigeonhole clauses." @default.
- W4212930203 created "2022-02-24" @default.
- W4212930203 creator A5057218145 @default.
- W4212930203 date "2007-09-01" @default.
- W4212930203 modified "2023-09-24" @default.
- W4212930203 title "Width versus size in resolution proofs" @default.
- W4212930203 doi "https://doi.org/10.1016/j.tcs.2007.05.022" @default.
- W4212930203 hasPublicationYear "2007" @default.
- W4212930203 type Work @default.
- W4212930203 citedByCount "0" @default.
- W4212930203 crossrefType "journal-article" @default.
- W4212930203 hasAuthorship W4212930203A5057218145 @default.
- W4212930203 hasConcept C104317684 @default.
- W4212930203 hasConcept C105605280 @default.
- W4212930203 hasConcept C108710211 @default.
- W4212930203 hasConcept C114614502 @default.
- W4212930203 hasConcept C118615104 @default.
- W4212930203 hasConcept C134306372 @default.
- W4212930203 hasConcept C138268822 @default.
- W4212930203 hasConcept C154945302 @default.
- W4212930203 hasConcept C16221470 @default.
- W4212930203 hasConcept C171988527 @default.
- W4212930203 hasConcept C185592680 @default.
- W4212930203 hasConcept C204241405 @default.
- W4212930203 hasConcept C2524010 @default.
- W4212930203 hasConcept C2834757 @default.
- W4212930203 hasConcept C33923547 @default.
- W4212930203 hasConcept C41008148 @default.
- W4212930203 hasConcept C55493867 @default.
- W4212930203 hasConcept C69562738 @default.
- W4212930203 hasConcept C77553402 @default.
- W4212930203 hasConceptScore W4212930203C104317684 @default.
- W4212930203 hasConceptScore W4212930203C105605280 @default.
- W4212930203 hasConceptScore W4212930203C108710211 @default.
- W4212930203 hasConceptScore W4212930203C114614502 @default.
- W4212930203 hasConceptScore W4212930203C118615104 @default.
- W4212930203 hasConceptScore W4212930203C134306372 @default.
- W4212930203 hasConceptScore W4212930203C138268822 @default.
- W4212930203 hasConceptScore W4212930203C154945302 @default.
- W4212930203 hasConceptScore W4212930203C16221470 @default.
- W4212930203 hasConceptScore W4212930203C171988527 @default.
- W4212930203 hasConceptScore W4212930203C185592680 @default.
- W4212930203 hasConceptScore W4212930203C204241405 @default.
- W4212930203 hasConceptScore W4212930203C2524010 @default.
- W4212930203 hasConceptScore W4212930203C2834757 @default.
- W4212930203 hasConceptScore W4212930203C33923547 @default.
- W4212930203 hasConceptScore W4212930203C41008148 @default.
- W4212930203 hasConceptScore W4212930203C55493867 @default.
- W4212930203 hasConceptScore W4212930203C69562738 @default.
- W4212930203 hasConceptScore W4212930203C77553402 @default.
- W4212930203 hasIssue "1" @default.
- W4212930203 hasLocation W42129302031 @default.
- W4212930203 hasOpenAccess W4212930203 @default.
- W4212930203 hasPrimaryLocation W42129302031 @default.
- W4212930203 hasRelatedWork W1662675122 @default.
- W4212930203 hasRelatedWork W2039982637 @default.
- W4212930203 hasRelatedWork W2097113315 @default.
- W4212930203 hasRelatedWork W2109174551 @default.
- W4212930203 hasRelatedWork W2142612879 @default.
- W4212930203 hasRelatedWork W2159170152 @default.
- W4212930203 hasRelatedWork W2169378607 @default.
- W4212930203 hasRelatedWork W2531336559 @default.
- W4212930203 hasRelatedWork W4212930203 @default.
- W4212930203 hasRelatedWork W860315492 @default.
- W4212930203 hasVolume "384" @default.
- W4212930203 isParatext "false" @default.
- W4212930203 isRetracted "false" @default.
- W4212930203 workType "article" @default.