FRINK Linked Data Fragments server

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

• W756639098 endingPage "192" @default.
• W756639098 startingPage "180" @default.
• W756639098 abstract "In sharp contrast to classical proof complexity we are currently short of lower bound techniques for QBF proof systems. We establish the feasible interpolation technique for all resolution-based QBF systems, whether modelling CDCL or expansion-based solving. This both provides the first general lower bound method for QBF calculi as well as largely extends the scope of classical feasible interpolation. We apply our technique to obtain new exponential lower bounds to all resolution-based QBF systems for a new class of QBF formulas based on the clique problem. Finally, we show how feasible interpolation relates to the recently established lower bound method based on strategy extraction [7]." @default.
• W756639098 created "2016-06-24" @default.
• W756639098 creator A5020709378 @default.
• W756639098 creator A5042128349 @default.
• W756639098 creator A5083294974 @default.
• W756639098 creator A5085555660 @default.
• W756639098 date "2015-01-01" @default.
• W756639098 modified "2023-10-16" @default.
• W756639098 title "Feasible Interpolation for QBF Resolution Calculi" @default.
• W756639098 cites W1525848078 @default.
• W756639098 cites W1851471023 @default.
• W756639098 cites W186758799 @default.
• W756639098 cites W1963246346 @default.
• W756639098 cites W1976876676 @default.
• W756639098 cites W1999069928 @default.
• W756639098 cites W2005573219 @default.
• W756639098 cites W2012102524 @default.
• W756639098 cites W2012476164 @default.
• W756639098 cites W2026916148 @default.
• W756639098 cites W2044095368 @default.
• W756639098 cites W2044632231 @default.
• W756639098 cites W2051846104 @default.
• W756639098 cites W2068363706 @default.
• W756639098 cites W2070447189 @default.
• W756639098 cites W2084384424 @default.
• W756639098 cites W2093224650 @default.
• W756639098 cites W2114633883 @default.
• W756639098 cites W25993968 @default.
• W756639098 cites W3014805183 @default.
• W756639098 cites W647068168 @default.
• W756639098 cites W959768158 @default.
• W756639098 doi "https://doi.org/10.1007/978-3-662-47672-7_15" @default.
• W756639098 hasPublicationYear "2015" @default.
• W756639098 type Work @default.
• W756639098 sameAs 756639098 @default.
• W756639098 citedByCount "13" @default.
• W756639098 countsByYear W7566390982016 @default.
• W756639098 countsByYear W7566390982017 @default.
• W756639098 countsByYear W7566390982018 @default.
• W756639098 countsByYear W7566390982019 @default.
• W756639098 crossrefType "book-chapter" @default.
• W756639098 hasAuthorship W756639098A5020709378 @default.
• W756639098 hasAuthorship W756639098A5042128349 @default.
• W756639098 hasAuthorship W756639098A5083294974 @default.
• W756639098 hasAuthorship W756639098A5085555660 @default.
• W756639098 hasBestOaLocation W7566390982 @default.
• W756639098 hasConcept C104114177 @default.
• W756639098 hasConcept C105605280 @default.
• W756639098 hasConcept C108710211 @default.
• W756639098 hasConcept C11413529 @default.
• W756639098 hasConcept C126255220 @default.
• W756639098 hasConcept C132525143 @default.
• W756639098 hasConcept C134306372 @default.
• W756639098 hasConcept C137800194 @default.
• W756639098 hasConcept C138268822 @default.
• W756639098 hasConcept C150997102 @default.
• W756639098 hasConcept C151376022 @default.
• W756639098 hasConcept C153180895 @default.
• W756639098 hasConcept C154945302 @default.
• W756639098 hasConcept C171836373 @default.
• W756639098 hasConcept C199360897 @default.
• W756639098 hasConcept C203776342 @default.
• W756639098 hasConcept C2524010 @default.
• W756639098 hasConcept C2777212361 @default.
• W756639098 hasConcept C2778012447 @default.
• W756639098 hasConcept C28826006 @default.
• W756639098 hasConcept C33923547 @default.
• W756639098 hasConcept C41008148 @default.
• W756639098 hasConcept C43517604 @default.
• W756639098 hasConcept C77553402 @default.
• W756639098 hasConcept C80444323 @default.
• W756639098 hasConceptScore W756639098C104114177 @default.
• W756639098 hasConceptScore W756639098C105605280 @default.
• W756639098 hasConceptScore W756639098C108710211 @default.
• W756639098 hasConceptScore W756639098C11413529 @default.
• W756639098 hasConceptScore W756639098C126255220 @default.
• W756639098 hasConceptScore W756639098C132525143 @default.
• W756639098 hasConceptScore W756639098C134306372 @default.
• W756639098 hasConceptScore W756639098C137800194 @default.
• W756639098 hasConceptScore W756639098C138268822 @default.
• W756639098 hasConceptScore W756639098C150997102 @default.
• W756639098 hasConceptScore W756639098C151376022 @default.
• W756639098 hasConceptScore W756639098C153180895 @default.
• W756639098 hasConceptScore W756639098C154945302 @default.
• W756639098 hasConceptScore W756639098C171836373 @default.
• W756639098 hasConceptScore W756639098C199360897 @default.
• W756639098 hasConceptScore W756639098C203776342 @default.
• W756639098 hasConceptScore W756639098C2524010 @default.
• W756639098 hasConceptScore W756639098C2777212361 @default.
• W756639098 hasConceptScore W756639098C2778012447 @default.
• W756639098 hasConceptScore W756639098C28826006 @default.
• W756639098 hasConceptScore W756639098C33923547 @default.
• W756639098 hasConceptScore W756639098C41008148 @default.
• W756639098 hasConceptScore W756639098C43517604 @default.
• W756639098 hasConceptScore W756639098C77553402 @default.
• W756639098 hasConceptScore W756639098C80444323 @default.
• W756639098 hasLocation W7566390981 @default.
• W756639098 hasLocation W7566390982 @default.

• next