FRINK Linked Data Fragments server

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

• W2983793616 endingPage "27" @default.
• W2983793616 startingPage "1" @default.
• W2983793616 abstract "We provide the first proof complexity results for QBF dependency calculi. By showing that the reflexive resolution path dependency scheme admits exponentially shorter Q-resolution proofs on a known family of instances, we answer a question first posed by Slivovsky and Szeider in 2014 [37]. Further, we conceive a method of QBF solving in which dependency recomputation is utilised as a form of inprocessing. Formalising this notion, we introduce a new version of Q-resolution in which a dependency scheme is applied dynamically. We demonstrate the further potential of this approach beyond that of the existing static system with an exponential separation. Last, we show that the same picture emerges in an analogous approach to the universal expansion paradigm." @default.
• W2983793616 created "2019-11-22" @default.
• W2983793616 creator A5042128349 @default.
• W2983793616 creator A5048382806 @default.
• W2983793616 date "2019-11-17" @default.
• W2983793616 modified "2023-09-27" @default.
• W2983793616 title "Dynamic QBF Dependencies in Reduction and Expansion" @default.
• W2983793616 cites W1480301700 @default.
• W2983793616 cites W1589045411 @default.
• W2983793616 cites W182482375 @default.
• W2983793616 cites W1943061272 @default.
• W2983793616 cites W1976876676 @default.
• W2983793616 cites W1988083342 @default.
• W2983793616 cites W2005573219 @default.
• W2983793616 cites W2008138636 @default.
• W2983793616 cites W2039585983 @default.
• W2983793616 cites W2051846104 @default.
• W2983793616 cites W2084384424 @default.
• W2983793616 cites W2098046166 @default.
• W2983793616 cites W2142785340 @default.
• W2983793616 cites W2191125414 @default.
• W2983793616 cites W2202163874 @default.
• W2983793616 cites W2233304325 @default.
• W2983793616 cites W2285200894 @default.
• W2983793616 cites W2309239751 @default.
• W2983793616 cites W2426939917 @default.
• W2983793616 cites W2493206149 @default.
• W2983793616 cites W2570844665 @default.
• W2983793616 cites W2600686309 @default.
• W2983793616 cites W2730075656 @default.
• W2983793616 cites W2778491775 @default.
• W2983793616 cites W2893979209 @default.
• W2983793616 cites W3102833318 @default.
• W2983793616 cites W3138410046 @default.
• W2983793616 doi "https://doi.org/10.1145/3355995" @default.
• W2983793616 hasPublicationYear "2019" @default.
• W2983793616 type Work @default.
• W2983793616 sameAs 2983793616 @default.
• W2983793616 citedByCount "3" @default.
• W2983793616 countsByYear W29837936162020 @default.
• W2983793616 countsByYear W29837936162021 @default.
• W2983793616 crossrefType "journal-article" @default.
• W2983793616 hasAuthorship W2983793616A5042128349 @default.
• W2983793616 hasAuthorship W2983793616A5048382806 @default.
• W2983793616 hasConcept C105605280 @default.
• W2983793616 hasConcept C108710211 @default.
• W2983793616 hasConcept C111335779 @default.
• W2983793616 hasConcept C11413529 @default.
• W2983793616 hasConcept C118615104 @default.
• W2983793616 hasConcept C134306372 @default.
• W2983793616 hasConcept C138268822 @default.
• W2983793616 hasConcept C151376022 @default.
• W2983793616 hasConcept C154945302 @default.
• W2983793616 hasConcept C19768560 @default.
• W2983793616 hasConcept C199343813 @default.
• W2983793616 hasConcept C199360897 @default.
• W2983793616 hasConcept C2524010 @default.
• W2983793616 hasConcept C2777686260 @default.
• W2983793616 hasConcept C2777735758 @default.
• W2983793616 hasConcept C33923547 @default.
• W2983793616 hasConcept C41008148 @default.
• W2983793616 hasConcept C71924100 @default.
• W2983793616 hasConcept C77618280 @default.
• W2983793616 hasConcept C80444323 @default.
• W2983793616 hasConceptScore W2983793616C105605280 @default.
• W2983793616 hasConceptScore W2983793616C108710211 @default.
• W2983793616 hasConceptScore W2983793616C111335779 @default.
• W2983793616 hasConceptScore W2983793616C11413529 @default.
• W2983793616 hasConceptScore W2983793616C118615104 @default.
• W2983793616 hasConceptScore W2983793616C134306372 @default.
• W2983793616 hasConceptScore W2983793616C138268822 @default.
• W2983793616 hasConceptScore W2983793616C151376022 @default.
• W2983793616 hasConceptScore W2983793616C154945302 @default.
• W2983793616 hasConceptScore W2983793616C19768560 @default.
• W2983793616 hasConceptScore W2983793616C199343813 @default.
• W2983793616 hasConceptScore W2983793616C199360897 @default.
• W2983793616 hasConceptScore W2983793616C2524010 @default.
• W2983793616 hasConceptScore W2983793616C2777686260 @default.
• W2983793616 hasConceptScore W2983793616C2777735758 @default.
• W2983793616 hasConceptScore W2983793616C33923547 @default.
• W2983793616 hasConceptScore W2983793616C41008148 @default.
• W2983793616 hasConceptScore W2983793616C71924100 @default.
• W2983793616 hasConceptScore W2983793616C77618280 @default.
• W2983793616 hasConceptScore W2983793616C80444323 @default.
• W2983793616 hasFunder F4320306193 @default.
• W2983793616 hasFunder F4320309895 @default.
• W2983793616 hasIssue "2" @default.
• W2983793616 hasLocation W29837936161 @default.
• W2983793616 hasOpenAccess W2983793616 @default.
• W2983793616 hasPrimaryLocation W29837936161 @default.
• W2983793616 hasRelatedWork W138926026 @default.
• W2983793616 hasRelatedWork W2084384424 @default.
• W2983793616 hasRelatedWork W2093967439 @default.
• W2983793616 hasRelatedWork W2397377351 @default.
• W2983793616 hasRelatedWork W2400565179 @default.
• W2983793616 hasRelatedWork W2811731328 @default.
• W2983793616 hasRelatedWork W2983793616 @default.
• W2983793616 hasRelatedWork W3022311771 @default.

• next