Matches in SemOpenAlex for { <https://semopenalex.org/work/W2811731328> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2811731328 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 (SAT 2014). Further, 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.
- W2811731328 created "2018-07-19" @default.
- W2811731328 creator A5042128349 @default.
- W2811731328 creator A5048382806 @default.
- W2811731328 date "2018-07-01" @default.
- W2811731328 modified "2023-09-27" @default.
- W2811731328 title "Dynamic Dependency Awareness for QBF" @default.
- W2811731328 cites W1517574009 @default.
- W2811731328 cites W2098046166 @default.
- W2811731328 cites W2191125414 @default.
- W2811731328 cites W2426939917 @default.
- W2811731328 cites W2493206149 @default.
- W2811731328 doi "https://doi.org/10.24963/ijcai.2018/726" @default.
- W2811731328 hasPublicationYear "2018" @default.
- W2811731328 type Work @default.
- W2811731328 sameAs 2811731328 @default.
- W2811731328 citedByCount "0" @default.
- W2811731328 crossrefType "proceedings-article" @default.
- W2811731328 hasAuthorship W2811731328A5042128349 @default.
- W2811731328 hasAuthorship W2811731328A5048382806 @default.
- W2811731328 hasBestOaLocation W28117313281 @default.
- W2811731328 hasConcept C105605280 @default.
- W2811731328 hasConcept C108710211 @default.
- W2811731328 hasConcept C11413529 @default.
- W2811731328 hasConcept C118615104 @default.
- W2811731328 hasConcept C134306372 @default.
- W2811731328 hasConcept C138268822 @default.
- W2811731328 hasConcept C151376022 @default.
- W2811731328 hasConcept C154945302 @default.
- W2811731328 hasConcept C19768560 @default.
- W2811731328 hasConcept C199343813 @default.
- W2811731328 hasConcept C199360897 @default.
- W2811731328 hasConcept C2524010 @default.
- W2811731328 hasConcept C2777686260 @default.
- W2811731328 hasConcept C2777735758 @default.
- W2811731328 hasConcept C33923547 @default.
- W2811731328 hasConcept C41008148 @default.
- W2811731328 hasConcept C71924100 @default.
- W2811731328 hasConcept C77618280 @default.
- W2811731328 hasConcept C80444323 @default.
- W2811731328 hasConceptScore W2811731328C105605280 @default.
- W2811731328 hasConceptScore W2811731328C108710211 @default.
- W2811731328 hasConceptScore W2811731328C11413529 @default.
- W2811731328 hasConceptScore W2811731328C118615104 @default.
- W2811731328 hasConceptScore W2811731328C134306372 @default.
- W2811731328 hasConceptScore W2811731328C138268822 @default.
- W2811731328 hasConceptScore W2811731328C151376022 @default.
- W2811731328 hasConceptScore W2811731328C154945302 @default.
- W2811731328 hasConceptScore W2811731328C19768560 @default.
- W2811731328 hasConceptScore W2811731328C199343813 @default.
- W2811731328 hasConceptScore W2811731328C199360897 @default.
- W2811731328 hasConceptScore W2811731328C2524010 @default.
- W2811731328 hasConceptScore W2811731328C2777686260 @default.
- W2811731328 hasConceptScore W2811731328C2777735758 @default.
- W2811731328 hasConceptScore W2811731328C33923547 @default.
- W2811731328 hasConceptScore W2811731328C41008148 @default.
- W2811731328 hasConceptScore W2811731328C71924100 @default.
- W2811731328 hasConceptScore W2811731328C77618280 @default.
- W2811731328 hasConceptScore W2811731328C80444323 @default.
- W2811731328 hasLocation W28117313281 @default.
- W2811731328 hasOpenAccess W2811731328 @default.
- W2811731328 hasPrimaryLocation W28117313281 @default.
- W2811731328 hasRelatedWork W124144846 @default.
- W2811731328 hasRelatedWork W143221248 @default.
- W2811731328 hasRelatedWork W1536141633 @default.
- W2811731328 hasRelatedWork W2098103885 @default.
- W2811731328 hasRelatedWork W2381254152 @default.
- W2811731328 hasRelatedWork W2383603753 @default.
- W2811731328 hasRelatedWork W2404283144 @default.
- W2811731328 hasRelatedWork W2888625260 @default.
- W2811731328 hasRelatedWork W63071447 @default.
- W2811731328 hasRelatedWork W65617392 @default.
- W2811731328 isParatext "false" @default.
- W2811731328 isRetracted "false" @default.
- W2811731328 magId "2811731328" @default.
- W2811731328 workType "article" @default.