Matches in SemOpenAlex for { <https://semopenalex.org/work/W2730075656> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2730075656 endingPage "280" @default.
- W2730075656 startingPage "263" @default.
- W2730075656 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 [30]. 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 calculus 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." @default.
- W2730075656 created "2017-07-14" @default.
- W2730075656 creator A5042128349 @default.
- W2730075656 creator A5048382806 @default.
- W2730075656 date "2017-01-01" @default.
- W2730075656 modified "2023-09-27" @default.
- W2730075656 title "Shortening QBF Proofs with Dependency Schemes" @default.
- W2730075656 cites W1480301700 @default.
- W2730075656 cites W1488842140 @default.
- W2730075656 cites W1537230380 @default.
- W2730075656 cites W1589045411 @default.
- W2730075656 cites W1603914046 @default.
- W2730075656 cites W182482375 @default.
- W2730075656 cites W186758799 @default.
- W2730075656 cites W1943061272 @default.
- W2730075656 cites W1976876676 @default.
- W2730075656 cites W1988083342 @default.
- W2730075656 cites W2005573219 @default.
- W2730075656 cites W2039585983 @default.
- W2730075656 cites W2098046166 @default.
- W2730075656 cites W2142785340 @default.
- W2730075656 cites W2149441048 @default.
- W2730075656 cites W2191125414 @default.
- W2730075656 cites W2202163874 @default.
- W2730075656 cites W2233304325 @default.
- W2730075656 cites W2285200894 @default.
- W2730075656 cites W2426939917 @default.
- W2730075656 cites W2493206149 @default.
- W2730075656 cites W3102833318 @default.
- W2730075656 cites W4229840182 @default.
- W2730075656 cites W647068168 @default.
- W2730075656 cites W756639098 @default.
- W2730075656 doi "https://doi.org/10.1007/978-3-319-66263-3_17" @default.
- W2730075656 hasPublicationYear "2017" @default.
- W2730075656 type Work @default.
- W2730075656 sameAs 2730075656 @default.
- W2730075656 citedByCount "9" @default.
- W2730075656 countsByYear W27300756562018 @default.
- W2730075656 countsByYear W27300756562019 @default.
- W2730075656 countsByYear W27300756562020 @default.
- W2730075656 countsByYear W27300756562021 @default.
- W2730075656 crossrefType "book-chapter" @default.
- W2730075656 hasAuthorship W2730075656A5042128349 @default.
- W2730075656 hasAuthorship W2730075656A5048382806 @default.
- W2730075656 hasBestOaLocation W27300756562 @default.
- W2730075656 hasConcept C108710211 @default.
- W2730075656 hasConcept C154945302 @default.
- W2730075656 hasConcept C19768560 @default.
- W2730075656 hasConcept C199343813 @default.
- W2730075656 hasConcept C2524010 @default.
- W2730075656 hasConcept C2777686260 @default.
- W2730075656 hasConcept C33923547 @default.
- W2730075656 hasConcept C41008148 @default.
- W2730075656 hasConcept C71924100 @default.
- W2730075656 hasConceptScore W2730075656C108710211 @default.
- W2730075656 hasConceptScore W2730075656C154945302 @default.
- W2730075656 hasConceptScore W2730075656C19768560 @default.
- W2730075656 hasConceptScore W2730075656C199343813 @default.
- W2730075656 hasConceptScore W2730075656C2524010 @default.
- W2730075656 hasConceptScore W2730075656C2777686260 @default.
- W2730075656 hasConceptScore W2730075656C33923547 @default.
- W2730075656 hasConceptScore W2730075656C41008148 @default.
- W2730075656 hasConceptScore W2730075656C71924100 @default.
- W2730075656 hasLocation W27300756561 @default.
- W2730075656 hasLocation W27300756562 @default.
- W2730075656 hasOpenAccess W2730075656 @default.
- W2730075656 hasPrimaryLocation W27300756561 @default.
- W2730075656 hasRelatedWork W1529400504 @default.
- W2730075656 hasRelatedWork W1987272770 @default.
- W2730075656 hasRelatedWork W2001932052 @default.
- W2730075656 hasRelatedWork W2025910816 @default.
- W2730075656 hasRelatedWork W2321824256 @default.
- W2730075656 hasRelatedWork W2333819912 @default.
- W2730075656 hasRelatedWork W2383067397 @default.
- W2730075656 hasRelatedWork W2888625260 @default.
- W2730075656 hasRelatedWork W2947186315 @default.
- W2730075656 hasRelatedWork W63071447 @default.
- W2730075656 isParatext "false" @default.
- W2730075656 isRetracted "false" @default.
- W2730075656 magId "2730075656" @default.
- W2730075656 workType "book-chapter" @default.