Matches in SemOpenAlex for { <https://semopenalex.org/work/W2605153419> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2605153419 startingPage "15" @default.
- W2605153419 abstract "We aim to understand inherent reasons for lower bounds for QBF proof systems, and revisit and compare two previous approaches in this direction. The first of these relates size lower bounds for strong QBF Frege systems to circuit lower bounds via strategy extraction (Beyersdorff & Pich, LICS'16). Here we show a refined version of strategy extraction and thereby for any QBF proof system obtain a trichotomy for hardness: (1) via circuit lower bounds, (2) via propositional Resolution lower bounds, or (3) `genuine' QBF lower bounds.The second approach tries to explain QBF lower bounds through quantifier alternations in a system called relaxing QU-Res (Chen, ICALP'16). We prove a strong lower bound for relaxing QU-Res, which also exhibits significant shortcomings of that model. Prompted by this we propose an alternative, improved version, allowing more flexible oracle queries in proofs. We show that lower bounds in our new model correspond to the trichotomy obtained via strategy extraction." @default.
- W2605153419 created "2017-04-14" @default.
- W2605153419 creator A5038021028 @default.
- W2605153419 creator A5042128349 @default.
- W2605153419 creator A5059921367 @default.
- W2605153419 date "2018-01-01" @default.
- W2605153419 modified "2023-09-27" @default.
- W2605153419 title "Reasons for Hardness in QBF Proof Systems" @default.
- W2605153419 doi "https://doi.org/10.4230/lipics.fsttcs.2017.14" @default.
- W2605153419 hasPublicationYear "2018" @default.
- W2605153419 type Work @default.
- W2605153419 sameAs 2605153419 @default.
- W2605153419 citedByCount "0" @default.
- W2605153419 crossrefType "proceedings-article" @default.
- W2605153419 hasAuthorship W2605153419A5038021028 @default.
- W2605153419 hasAuthorship W2605153419A5042128349 @default.
- W2605153419 hasAuthorship W2605153419A5059921367 @default.
- W2605153419 hasConcept C105605280 @default.
- W2605153419 hasConcept C108710211 @default.
- W2605153419 hasConcept C11413529 @default.
- W2605153419 hasConcept C114614502 @default.
- W2605153419 hasConcept C115903868 @default.
- W2605153419 hasConcept C118615104 @default.
- W2605153419 hasConcept C134306372 @default.
- W2605153419 hasConcept C138268822 @default.
- W2605153419 hasConcept C138885662 @default.
- W2605153419 hasConcept C154945302 @default.
- W2605153419 hasConcept C16221470 @default.
- W2605153419 hasConcept C2524010 @default.
- W2605153419 hasConcept C2780233049 @default.
- W2605153419 hasConcept C33923547 @default.
- W2605153419 hasConcept C41008148 @default.
- W2605153419 hasConcept C41895202 @default.
- W2605153419 hasConcept C55166926 @default.
- W2605153419 hasConcept C77553402 @default.
- W2605153419 hasConceptScore W2605153419C105605280 @default.
- W2605153419 hasConceptScore W2605153419C108710211 @default.
- W2605153419 hasConceptScore W2605153419C11413529 @default.
- W2605153419 hasConceptScore W2605153419C114614502 @default.
- W2605153419 hasConceptScore W2605153419C115903868 @default.
- W2605153419 hasConceptScore W2605153419C118615104 @default.
- W2605153419 hasConceptScore W2605153419C134306372 @default.
- W2605153419 hasConceptScore W2605153419C138268822 @default.
- W2605153419 hasConceptScore W2605153419C138885662 @default.
- W2605153419 hasConceptScore W2605153419C154945302 @default.
- W2605153419 hasConceptScore W2605153419C16221470 @default.
- W2605153419 hasConceptScore W2605153419C2524010 @default.
- W2605153419 hasConceptScore W2605153419C2780233049 @default.
- W2605153419 hasConceptScore W2605153419C33923547 @default.
- W2605153419 hasConceptScore W2605153419C41008148 @default.
- W2605153419 hasConceptScore W2605153419C41895202 @default.
- W2605153419 hasConceptScore W2605153419C55166926 @default.
- W2605153419 hasConceptScore W2605153419C77553402 @default.
- W2605153419 hasLocation W26051534191 @default.
- W2605153419 hasOpenAccess W2605153419 @default.
- W2605153419 hasPrimaryLocation W26051534191 @default.
- W2605153419 hasRelatedWork W1566982707 @default.
- W2605153419 hasRelatedWork W1983093782 @default.
- W2605153419 hasRelatedWork W2030387300 @default.
- W2605153419 hasRelatedWork W2066514569 @default.
- W2605153419 hasRelatedWork W2115324747 @default.
- W2605153419 hasRelatedWork W2198278046 @default.
- W2605153419 hasRelatedWork W2242767567 @default.
- W2605153419 hasRelatedWork W2242954222 @default.
- W2605153419 hasRelatedWork W2288678542 @default.
- W2605153419 hasRelatedWork W2399133390 @default.
- W2605153419 hasRelatedWork W2400225133 @default.
- W2605153419 hasRelatedWork W2542610836 @default.
- W2605153419 hasRelatedWork W2768675866 @default.
- W2605153419 hasRelatedWork W2799829315 @default.
- W2605153419 hasRelatedWork W2949919974 @default.
- W2605153419 hasRelatedWork W2963906838 @default.
- W2605153419 hasRelatedWork W3009797996 @default.
- W2605153419 hasRelatedWork W3186139236 @default.
- W2605153419 hasRelatedWork W3210738158 @default.
- W2605153419 hasRelatedWork W84137593 @default.
- W2605153419 isParatext "false" @default.
- W2605153419 isRetracted "false" @default.
- W2605153419 magId "2605153419" @default.
- W2605153419 workType "article" @default.