Matches in SemOpenAlex for { <https://semopenalex.org/work/W2482896395> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2482896395 abstract "Dependency schemes allow to identify variable independencies in QBFs or DQBFs. For QBF, several dependency schemes have been proposed, which differ in the number of independencies they are able to identify. In this paper, we analyze the spectrum of dependency schemes that were proposed for QBF. It turns out that only some of them are sound for DQBF. For the sound ones, we provide a correctness proof, for the others counter examples. Experiments show that a significant number of dependencies can either be added to or removed from a formula without changing its truth value, but with significantly increasing the flexibility for modifying the representation." @default.
- W2482896395 created "2016-08-23" @default.
- W2482896395 creator A5002292119 @default.
- W2482896395 creator A5036887633 @default.
- W2482896395 creator A5038861833 @default.
- W2482896395 creator A5047238602 @default.
- W2482896395 date "2016-01-01" @default.
- W2482896395 modified "2023-09-27" @default.
- W2482896395 title "Dependency Schemes for DQBF" @default.
- W2482896395 cites W1492210508 @default.
- W2482896395 cites W1494899888 @default.
- W2482896395 cites W1496518193 @default.
- W2482896395 cites W1575955626 @default.
- W2482896395 cites W1583869287 @default.
- W2482896395 cites W1603914046 @default.
- W2482896395 cites W1819209966 @default.
- W2482896395 cites W182482375 @default.
- W2482896395 cites W1922664086 @default.
- W2482896395 cites W1973302434 @default.
- W2482896395 cites W1973898358 @default.
- W2482896395 cites W2039585983 @default.
- W2482896395 cites W2085289300 @default.
- W2482896395 cites W2089323087 @default.
- W2482896395 cites W2102022086 @default.
- W2482896395 cites W2121706505 @default.
- W2482896395 cites W2156640787 @default.
- W2482896395 cites W2185821556 @default.
- W2482896395 cites W2191125414 @default.
- W2482896395 cites W2262500273 @default.
- W2482896395 cites W4235795581 @default.
- W2482896395 cites W6137842 @default.
- W2482896395 doi "https://doi.org/10.1007/978-3-319-40970-2_29" @default.
- W2482896395 hasPublicationYear "2016" @default.
- W2482896395 type Work @default.
- W2482896395 sameAs 2482896395 @default.
- W2482896395 citedByCount "9" @default.
- W2482896395 countsByYear W24828963952017 @default.
- W2482896395 countsByYear W24828963952018 @default.
- W2482896395 countsByYear W24828963952019 @default.
- W2482896395 countsByYear W24828963952020 @default.
- W2482896395 countsByYear W24828963952021 @default.
- W2482896395 crossrefType "book-chapter" @default.
- W2482896395 hasAuthorship W2482896395A5002292119 @default.
- W2482896395 hasAuthorship W2482896395A5036887633 @default.
- W2482896395 hasAuthorship W2482896395A5038861833 @default.
- W2482896395 hasAuthorship W2482896395A5047238602 @default.
- W2482896395 hasConcept C105795698 @default.
- W2482896395 hasConcept C11413529 @default.
- W2482896395 hasConcept C154945302 @default.
- W2482896395 hasConcept C17744445 @default.
- W2482896395 hasConcept C19768560 @default.
- W2482896395 hasConcept C199539241 @default.
- W2482896395 hasConcept C2776359362 @default.
- W2482896395 hasConcept C2780598303 @default.
- W2482896395 hasConcept C33923547 @default.
- W2482896395 hasConcept C41008148 @default.
- W2482896395 hasConcept C55439883 @default.
- W2482896395 hasConcept C80444323 @default.
- W2482896395 hasConcept C94625758 @default.
- W2482896395 hasConceptScore W2482896395C105795698 @default.
- W2482896395 hasConceptScore W2482896395C11413529 @default.
- W2482896395 hasConceptScore W2482896395C154945302 @default.
- W2482896395 hasConceptScore W2482896395C17744445 @default.
- W2482896395 hasConceptScore W2482896395C19768560 @default.
- W2482896395 hasConceptScore W2482896395C199539241 @default.
- W2482896395 hasConceptScore W2482896395C2776359362 @default.
- W2482896395 hasConceptScore W2482896395C2780598303 @default.
- W2482896395 hasConceptScore W2482896395C33923547 @default.
- W2482896395 hasConceptScore W2482896395C41008148 @default.
- W2482896395 hasConceptScore W2482896395C55439883 @default.
- W2482896395 hasConceptScore W2482896395C80444323 @default.
- W2482896395 hasConceptScore W2482896395C94625758 @default.
- W2482896395 hasLocation W24828963951 @default.
- W2482896395 hasOpenAccess W2482896395 @default.
- W2482896395 hasPrimaryLocation W24828963951 @default.
- W2482896395 hasRelatedWork W147427843 @default.
- W2482896395 hasRelatedWork W1575955626 @default.
- W2482896395 hasRelatedWork W1922664086 @default.
- W2482896395 hasRelatedWork W1973302434 @default.
- W2482896395 hasRelatedWork W1998084650 @default.
- W2482896395 hasRelatedWork W2054701903 @default.
- W2482896395 hasRelatedWork W2085289300 @default.
- W2482896395 hasRelatedWork W2102022086 @default.
- W2482896395 hasRelatedWork W2121706505 @default.
- W2482896395 hasRelatedWork W2185821556 @default.
- W2482896395 hasRelatedWork W2217260363 @default.
- W2482896395 hasRelatedWork W2335976662 @default.
- W2482896395 hasRelatedWork W2336145595 @default.
- W2482896395 hasRelatedWork W2401514316 @default.
- W2482896395 hasRelatedWork W2913551129 @default.
- W2482896395 hasRelatedWork W2962945299 @default.
- W2482896395 hasRelatedWork W2964827773 @default.
- W2482896395 hasRelatedWork W3021939903 @default.
- W2482896395 hasRelatedWork W6137842 @default.
- W2482896395 hasRelatedWork W2187555223 @default.
- W2482896395 isParatext "false" @default.
- W2482896395 isRetracted "false" @default.
- W2482896395 magId "2482896395" @default.
- W2482896395 workType "book-chapter" @default.