Matches in SemOpenAlex for { <https://semopenalex.org/work/W2965641371> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2965641371 abstract "In this paper, we propose the elimination of dependencies to convert a given dependency quantified Boolean formula (DQBF) to an equisatisfiable QBF. We show how to select a set of dependencies to eliminate such that we arrive at a smallest equisatisfiable QBF in terms of existential variables that is achievable using dependency elimination. This approach is improved by taking so-called don’t-care dependencies into account, which result from the application of dependency schemes to the formula and can be added to or removed from the formula at no cost. We have implemented this new method in the state-of-the-art DQBF solver HQS. Experiments show that dependency elimination is clearly superior to the previous method using variable elimination." @default.
- W2965641371 created "2019-08-13" @default.
- W2965641371 creator A5002292119 @default.
- W2965641371 creator A5015328592 @default.
- W2965641371 creator A5017265124 @default.
- W2965641371 creator A5038861833 @default.
- W2965641371 creator A5047238602 @default.
- W2965641371 date "2018-01-01" @default.
- W2965641371 modified "2023-10-06" @default.
- W2965641371 title "From DQBF to QBF by Dependency Elimination." @default.
- W2965641371 hasPublicationYear "2018" @default.
- W2965641371 type Work @default.
- W2965641371 sameAs 2965641371 @default.
- W2965641371 citedByCount "0" @default.
- W2965641371 crossrefType "journal-article" @default.
- W2965641371 hasAuthorship W2965641371A5002292119 @default.
- W2965641371 hasAuthorship W2965641371A5015328592 @default.
- W2965641371 hasAuthorship W2965641371A5017265124 @default.
- W2965641371 hasAuthorship W2965641371A5038861833 @default.
- W2965641371 hasAuthorship W2965641371A5047238602 @default.
- W2965641371 hasConcept C11413529 @default.
- W2965641371 hasConcept C134306372 @default.
- W2965641371 hasConcept C154945302 @default.
- W2965641371 hasConcept C169272836 @default.
- W2965641371 hasConcept C177264268 @default.
- W2965641371 hasConcept C182365436 @default.
- W2965641371 hasConcept C19768560 @default.
- W2965641371 hasConcept C199360897 @default.
- W2965641371 hasConcept C200415742 @default.
- W2965641371 hasConcept C2776214188 @default.
- W2965641371 hasConcept C2778770139 @default.
- W2965641371 hasConcept C33923547 @default.
- W2965641371 hasConcept C41008148 @default.
- W2965641371 hasConcept C48103436 @default.
- W2965641371 hasConcept C80444323 @default.
- W2965641371 hasConceptScore W2965641371C11413529 @default.
- W2965641371 hasConceptScore W2965641371C134306372 @default.
- W2965641371 hasConceptScore W2965641371C154945302 @default.
- W2965641371 hasConceptScore W2965641371C169272836 @default.
- W2965641371 hasConceptScore W2965641371C177264268 @default.
- W2965641371 hasConceptScore W2965641371C182365436 @default.
- W2965641371 hasConceptScore W2965641371C19768560 @default.
- W2965641371 hasConceptScore W2965641371C199360897 @default.
- W2965641371 hasConceptScore W2965641371C200415742 @default.
- W2965641371 hasConceptScore W2965641371C2776214188 @default.
- W2965641371 hasConceptScore W2965641371C2778770139 @default.
- W2965641371 hasConceptScore W2965641371C33923547 @default.
- W2965641371 hasConceptScore W2965641371C41008148 @default.
- W2965641371 hasConceptScore W2965641371C48103436 @default.
- W2965641371 hasConceptScore W2965641371C80444323 @default.
- W2965641371 hasLocation W29656413711 @default.
- W2965641371 hasOpenAccess W2965641371 @default.
- W2965641371 hasPrimaryLocation W29656413711 @default.
- W2965641371 hasRelatedWork W119782953 @default.
- W2965641371 hasRelatedWork W129935311 @default.
- W2965641371 hasRelatedWork W1515828819 @default.
- W2965641371 hasRelatedWork W1561543482 @default.
- W2965641371 hasRelatedWork W1603914046 @default.
- W2965641371 hasRelatedWork W1608616693 @default.
- W2965641371 hasRelatedWork W185791078 @default.
- W2965641371 hasRelatedWork W2185538830 @default.
- W2965641371 hasRelatedWork W2294843272 @default.
- W2965641371 hasRelatedWork W2309239751 @default.
- W2965641371 hasRelatedWork W2403478642 @default.
- W2965641371 hasRelatedWork W2549265330 @default.
- W2965641371 hasRelatedWork W2600514308 @default.
- W2965641371 hasRelatedWork W2809711152 @default.
- W2965641371 hasRelatedWork W2914871854 @default.
- W2965641371 hasRelatedWork W3023887859 @default.
- W2965641371 hasRelatedWork W3122501078 @default.
- W2965641371 hasRelatedWork W40396644 @default.
- W2965641371 hasRelatedWork W43127372 @default.
- W2965641371 hasRelatedWork W54881092 @default.
- W2965641371 isParatext "false" @default.
- W2965641371 isRetracted "false" @default.
- W2965641371 magId "2965641371" @default.
- W2965641371 workType "article" @default.