Matches in SemOpenAlex for { <https://semopenalex.org/work/W2743440074> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2743440074 endingPage "325" @default.
- W2743440074 startingPage "314" @default.
- W2743440074 abstract "This paper presents a sound and complete proof system for Dependency Quantified Boolean Formulas (DQBF) using resolution, universal reduction, and a new proof rule that we call fork extension. This opens new avenues for the development of efficient algorithms for DQBF." @default.
- W2743440074 created "2017-08-17" @default.
- W2743440074 creator A5072217103 @default.
- W2743440074 date "2017-01-01" @default.
- W2743440074 modified "2023-10-17" @default.
- W2743440074 title "A Resolution-Style Proof System for DQBF" @default.
- W2743440074 cites W147950966 @default.
- W2743440074 cites W1496518193 @default.
- W2743440074 cites W1610578937 @default.
- W2743440074 cites W1831282309 @default.
- W2743440074 cites W1851471023 @default.
- W2743440074 cites W1973302434 @default.
- W2743440074 cites W1976876676 @default.
- W2743440074 cites W2005573219 @default.
- W2743440074 cites W2062897452 @default.
- W2743440074 cites W2085289300 @default.
- W2743440074 cites W2102022086 @default.
- W2743440074 cites W2147999468 @default.
- W2743440074 cites W2185821556 @default.
- W2743440074 cites W2335976662 @default.
- W2743440074 cites W2404220671 @default.
- W2743440074 cites W2463075119 @default.
- W2743440074 cites W2600514308 @default.
- W2743440074 cites W2600686309 @default.
- W2743440074 cites W4235759561 @default.
- W2743440074 cites W4235795581 @default.
- W2743440074 cites W4246262408 @default.
- W2743440074 cites W6137842 @default.
- W2743440074 cites W99602494 @default.
- W2743440074 doi "https://doi.org/10.1007/978-3-319-66263-3_20" @default.
- W2743440074 hasPublicationYear "2017" @default.
- W2743440074 type Work @default.
- W2743440074 sameAs 2743440074 @default.
- W2743440074 citedByCount "9" @default.
- W2743440074 countsByYear W27434400742018 @default.
- W2743440074 countsByYear W27434400742019 @default.
- W2743440074 countsByYear W27434400742020 @default.
- W2743440074 countsByYear W27434400742021 @default.
- W2743440074 crossrefType "book-chapter" @default.
- W2743440074 hasAuthorship W2743440074A5072217103 @default.
- W2743440074 hasConcept C138268822 @default.
- W2743440074 hasConcept C142362112 @default.
- W2743440074 hasConcept C153349607 @default.
- W2743440074 hasConcept C154945302 @default.
- W2743440074 hasConcept C2776445246 @default.
- W2743440074 hasConcept C41008148 @default.
- W2743440074 hasConceptScore W2743440074C138268822 @default.
- W2743440074 hasConceptScore W2743440074C142362112 @default.
- W2743440074 hasConceptScore W2743440074C153349607 @default.
- W2743440074 hasConceptScore W2743440074C154945302 @default.
- W2743440074 hasConceptScore W2743440074C2776445246 @default.
- W2743440074 hasConceptScore W2743440074C41008148 @default.
- W2743440074 hasLocation W27434400741 @default.
- W2743440074 hasOpenAccess W2743440074 @default.
- W2743440074 hasPrimaryLocation W27434400741 @default.
- W2743440074 hasRelatedWork W2093578348 @default.
- W2743440074 hasRelatedWork W2356229341 @default.
- W2743440074 hasRelatedWork W2358668433 @default.
- W2743440074 hasRelatedWork W2376932109 @default.
- W2743440074 hasRelatedWork W2379250586 @default.
- W2743440074 hasRelatedWork W2382290278 @default.
- W2743440074 hasRelatedWork W2390279801 @default.
- W2743440074 hasRelatedWork W2748952813 @default.
- W2743440074 hasRelatedWork W2766271392 @default.
- W2743440074 hasRelatedWork W2899084033 @default.
- W2743440074 isParatext "false" @default.
- W2743440074 isRetracted "false" @default.
- W2743440074 magId "2743440074" @default.
- W2743440074 workType "book-chapter" @default.