FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2989873171> ?p ?o ?g. }

• W2989873171 abstract "We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson '01] and highly unbalanced, dense graphs as in [Raz '04] and [Razborov '03, '04]. We obtain our results by revisiting Razborov's pseudo-width method for PHP formulas over dense graphs and extending it to sparse graphs. This further demonstrates the power of the pseudo-width method, and we believe it could potentially be useful for attacking also other longstanding open problems for resolution and other proof systems." @default.
• W2989873171 created "2019-12-05" @default.
• W2989873171 creator A5003633660 @default.
• W2989873171 creator A5057666042 @default.
• W2989873171 creator A5064529000 @default.
• W2989873171 creator A5086575008 @default.
• W2989873171 date "2019-12-02" @default.
• W2989873171 modified "2023-10-02" @default.
• W2989873171 title "Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs" @default.
• W2989873171 cites W1518031539 @default.
• W2989873171 cites W1538043890 @default.
• W2989873171 cites W1568798323 @default.
• W2989873171 cites W157950381 @default.
• W2989873171 cites W1902951782 @default.
• W2989873171 cites W1990932978 @default.
• W2989873171 cites W1999067488 @default.
• W2989873171 cites W2039982637 @default.
• W2989873171 cites W2062912795 @default.
• W2989873171 cites W2067510740 @default.
• W2989873171 cites W2069767473 @default.
• W2989873171 cites W2079758416 @default.
• W2989873171 cites W2084384424 @default.
• W2989873171 cites W2088421560 @default.
• W2989873171 cites W2090339500 @default.
• W2989873171 cites W2090418561 @default.
• W2989873171 cites W2093396771 @default.
• W2989873171 cites W2097113315 @default.
• W2989873171 cites W2098022011 @default.
• W2989873171 cites W2114400329 @default.
• W2989873171 cites W2126420408 @default.
• W2989873171 cites W2132489129 @default.
• W2989873171 cites W2134961930 @default.
• W2989873171 cites W2140733721 @default.
• W2989873171 cites W2142127354 @default.
• W2989873171 cites W2151737213 @default.
• W2989873171 cites W2163996090 @default.
• W2989873171 cites W2166026605 @default.
• W2989873171 cites W2513045567 @default.
• W2989873171 cites W2611506423 @default.
• W2989873171 cites W2809359463 @default.
• W2989873171 cites W3089826579 @default.
• W2989873171 cites W2460638073 @default.
• W2989873171 hasPublicationYear "2019" @default.
• W2989873171 type Work @default.
• W2989873171 sameAs 2989873171 @default.
• W2989873171 citedByCount "0" @default.
• W2989873171 crossrefType "posted-content" @default.
• W2989873171 hasAuthorship W2989873171A5003633660 @default.
• W2989873171 hasAuthorship W2989873171A5057666042 @default.
• W2989873171 hasAuthorship W2989873171A5064529000 @default.
• W2989873171 hasAuthorship W2989873171A5086575008 @default.
• W2989873171 hasConcept C105605280 @default.
• W2989873171 hasConcept C105795698 @default.
• W2989873171 hasConcept C108710211 @default.
• W2989873171 hasConcept C114614502 @default.
• W2989873171 hasConcept C118615104 @default.
• W2989873171 hasConcept C132525143 @default.
• W2989873171 hasConcept C134306372 @default.
• W2989873171 hasConcept C138268822 @default.
• W2989873171 hasConcept C151376022 @default.
• W2989873171 hasConcept C154547637 @default.
• W2989873171 hasConcept C154945302 @default.
• W2989873171 hasConcept C165064840 @default.
• W2989873171 hasConcept C171988527 @default.
• W2989873171 hasConcept C2524010 @default.
• W2989873171 hasConcept C33923547 @default.
• W2989873171 hasConcept C41008148 @default.
• W2989873171 hasConcept C77553402 @default.
• W2989873171 hasConceptScore W2989873171C105605280 @default.
• W2989873171 hasConceptScore W2989873171C105795698 @default.
• W2989873171 hasConceptScore W2989873171C108710211 @default.
• W2989873171 hasConceptScore W2989873171C114614502 @default.
• W2989873171 hasConceptScore W2989873171C118615104 @default.
• W2989873171 hasConceptScore W2989873171C132525143 @default.
• W2989873171 hasConceptScore W2989873171C134306372 @default.
• W2989873171 hasConceptScore W2989873171C138268822 @default.
• W2989873171 hasConceptScore W2989873171C151376022 @default.
• W2989873171 hasConceptScore W2989873171C154547637 @default.
• W2989873171 hasConceptScore W2989873171C154945302 @default.
• W2989873171 hasConceptScore W2989873171C165064840 @default.
• W2989873171 hasConceptScore W2989873171C171988527 @default.
• W2989873171 hasConceptScore W2989873171C2524010 @default.
• W2989873171 hasConceptScore W2989873171C33923547 @default.
• W2989873171 hasConceptScore W2989873171C41008148 @default.
• W2989873171 hasConceptScore W2989873171C77553402 @default.
• W2989873171 hasLocation W29898731711 @default.
• W2989873171 hasOpenAccess W2989873171 @default.
• W2989873171 hasPrimaryLocation W29898731711 @default.
• W2989873171 hasRelatedWork W1607525876 @default.
• W2989873171 hasRelatedWork W2002803848 @default.
• W2989873171 hasRelatedWork W2030387300 @default.
• W2989873171 hasRelatedWork W2097113315 @default.
• W2989873171 hasRelatedWork W2242767567 @default.
• W2989873171 hasRelatedWork W2288678542 @default.
• W2989873171 hasRelatedWork W2399133390 @default.
• W2989873171 hasRelatedWork W2399682168 @default.
• W2989873171 hasRelatedWork W2565821653 @default.
• W2989873171 hasRelatedWork W2597007794 @default.
• W2989873171 hasRelatedWork W2605153419 @default.
• W2989873171 hasRelatedWork W2899891155 @default.

• next