Matches in SemOpenAlex for { <https://semopenalex.org/work/W2396393208> ?p ?o ?g. }
- W2396393208 endingPage "30" @default.
- W2396393208 startingPage "1" @default.
- W2396393208 abstract "We prove that there are 3-CNF formulas over n variables that can be refuted in resolution in width w but require resolution proofs of size n Ω( w ) . This shows that the simple counting argument that any formula refutable in width w must have a proof in size n O( w ) is essentially tight. Moreover, our lower bound generalizes to polynomial calculus resolution and Sherali-Adams, implying that the corresponding size upper bounds in terms of degree and rank are tight as well. The lower bound does not extend all the way to Lasserre, however, since we show that there the formulas we study have proofs of constant rank and size polynomial in both n and w ." @default.
- W2396393208 created "2016-06-24" @default.
- W2396393208 creator A5003633660 @default.
- W2396393208 creator A5003671114 @default.
- W2396393208 creator A5024267515 @default.
- W2396393208 date "2016-05-18" @default.
- W2396393208 modified "2023-09-30" @default.
- W2396393208 title "Narrow Proofs May Be Maximally Long" @default.
- W2396393208 cites W1505776303 @default.
- W2396393208 cites W1944379106 @default.
- W2396393208 cites W1974070050 @default.
- W2396393208 cites W1988083342 @default.
- W2396393208 cites W1990932978 @default.
- W2396393208 cites W1998375896 @default.
- W2396393208 cites W1999067488 @default.
- W2396393208 cites W2022540723 @default.
- W2396393208 cites W2022749269 @default.
- W2396393208 cites W2028932986 @default.
- W2396393208 cites W2038169576 @default.
- W2396393208 cites W2038193643 @default.
- W2396393208 cites W2039681975 @default.
- W2396393208 cites W2044560939 @default.
- W2396393208 cites W2045690379 @default.
- W2396393208 cites W2049143039 @default.
- W2396393208 cites W2056382067 @default.
- W2396393208 cites W2060270693 @default.
- W2396393208 cites W2067642391 @default.
- W2396393208 cites W2069767473 @default.
- W2396393208 cites W2071347463 @default.
- W2396393208 cites W2071596701 @default.
- W2396393208 cites W2074834475 @default.
- W2396393208 cites W2077397558 @default.
- W2396393208 cites W2078561631 @default.
- W2396393208 cites W2084029169 @default.
- W2396393208 cites W2084384424 @default.
- W2396393208 cites W2089789793 @default.
- W2396393208 cites W2092508401 @default.
- W2396393208 cites W2093224650 @default.
- W2396393208 cites W2093396771 @default.
- W2396393208 cites W2098022011 @default.
- W2396393208 cites W2106264302 @default.
- W2396393208 cites W2107052785 @default.
- W2396393208 cites W2110180651 @default.
- W2396393208 cites W2122782108 @default.
- W2396393208 cites W2126420408 @default.
- W2396393208 cites W2129413084 @default.
- W2396393208 cites W2132489129 @default.
- W2396393208 cites W2134253979 @default.
- W2396393208 cites W2137378957 @default.
- W2396393208 cites W2142785340 @default.
- W2396393208 cites W2145243417 @default.
- W2396393208 cites W2161766575 @default.
- W2396393208 cites W2164319662 @default.
- W2396393208 cites W2164683439 @default.
- W2396393208 cites W2210840110 @default.
- W2396393208 cites W2217204207 @default.
- W2396393208 doi "https://doi.org/10.1145/2898435" @default.
- W2396393208 hasPublicationYear "2016" @default.
- W2396393208 type Work @default.
- W2396393208 sameAs 2396393208 @default.
- W2396393208 citedByCount "48" @default.
- W2396393208 countsByYear W23963932082015 @default.
- W2396393208 countsByYear W23963932082016 @default.
- W2396393208 countsByYear W23963932082017 @default.
- W2396393208 countsByYear W23963932082018 @default.
- W2396393208 countsByYear W23963932082019 @default.
- W2396393208 countsByYear W23963932082020 @default.
- W2396393208 countsByYear W23963932082021 @default.
- W2396393208 countsByYear W23963932082022 @default.
- W2396393208 countsByYear W23963932082023 @default.
- W2396393208 crossrefType "journal-article" @default.
- W2396393208 hasAuthorship W2396393208A5003633660 @default.
- W2396393208 hasAuthorship W2396393208A5003671114 @default.
- W2396393208 hasAuthorship W2396393208A5024267515 @default.
- W2396393208 hasBestOaLocation W23963932082 @default.
- W2396393208 hasConcept C108710211 @default.
- W2396393208 hasConcept C111472728 @default.
- W2396393208 hasConcept C114614502 @default.
- W2396393208 hasConcept C118615104 @default.
- W2396393208 hasConcept C121332964 @default.
- W2396393208 hasConcept C134306372 @default.
- W2396393208 hasConcept C138268822 @default.
- W2396393208 hasConcept C138885662 @default.
- W2396393208 hasConcept C154945302 @default.
- W2396393208 hasConcept C164226766 @default.
- W2396393208 hasConcept C185592680 @default.
- W2396393208 hasConcept C199360897 @default.
- W2396393208 hasConcept C24890656 @default.
- W2396393208 hasConcept C2524010 @default.
- W2396393208 hasConcept C2775997480 @default.
- W2396393208 hasConcept C2777027219 @default.
- W2396393208 hasConcept C2780586882 @default.
- W2396393208 hasConcept C33923547 @default.
- W2396393208 hasConcept C41008148 @default.
- W2396393208 hasConcept C55493867 @default.
- W2396393208 hasConcept C77553402 @default.
- W2396393208 hasConcept C90119067 @default.
- W2396393208 hasConcept C98184364 @default.