Matches in SemOpenAlex for { <https://semopenalex.org/work/W13367657> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W13367657 endingPage "104" @default.
- W13367657 startingPage "90" @default.
- W13367657 abstract "We investigate a new class of metrics to find good variable orders for decision diagrams in symbolic state-space generation. Most of the previous work on static ordering is centered around the concept of minimum variable span, which can also be found in the literature under several other names. We use a similar concept, but applied to event span, and generalize it to a family of metrics parameterized by a moment, where the metric of moment 0 is the combined event span. Finding a good variable order is then reduced to optimizing one of these metrics, and we design extensive experiments to evaluate them. First, we investigate how the actual optimal order performs in state-space generation, when it can be computed by evaluating all possible permutations. Then, we study the performance of these metrics on selected models and compare their impact on two different state-space generation algorithms: classic breadth-first and our own saturation strategy. We conclude that the new metric of moment 1 is the best choice. In particular, the saturation algorithm seems to benefit the most from using it, as it achieves the better performance in nearly 80% of the cases." @default.
- W13367657 created "2016-06-24" @default.
- W13367657 creator A5051613263 @default.
- W13367657 creator A5071970957 @default.
- W13367657 date "2006-01-01" @default.
- W13367657 modified "2023-09-25" @default.
- W13367657 title "New Metrics for Static Variable Ordering in Decision Diagrams" @default.
- W13367657 cites W1482530017 @default.
- W13367657 cites W1491214620 @default.
- W13367657 cites W164685601 @default.
- W13367657 cites W1718783241 @default.
- W13367657 cites W2030224590 @default.
- W13367657 cites W2080267935 @default.
- W13367657 cites W2099564394 @default.
- W13367657 cites W2100994366 @default.
- W13367657 cites W2120005189 @default.
- W13367657 cites W2142707936 @default.
- W13367657 cites W2146530711 @default.
- W13367657 cites W2160991071 @default.
- W13367657 cites W2161677825 @default.
- W13367657 cites W2652867808 @default.
- W13367657 cites W2911430074 @default.
- W13367657 cites W4252439377 @default.
- W13367657 cites W4301173492 @default.
- W13367657 cites W4378744510 @default.
- W13367657 doi "https://doi.org/10.1007/11691372_6" @default.
- W13367657 hasPublicationYear "2006" @default.
- W13367657 type Work @default.
- W13367657 sameAs 13367657 @default.
- W13367657 citedByCount "21" @default.
- W13367657 countsByYear W133676572012 @default.
- W13367657 countsByYear W133676572014 @default.
- W13367657 countsByYear W133676572015 @default.
- W13367657 countsByYear W133676572016 @default.
- W13367657 countsByYear W133676572017 @default.
- W13367657 countsByYear W133676572018 @default.
- W13367657 countsByYear W133676572019 @default.
- W13367657 countsByYear W133676572020 @default.
- W13367657 crossrefType "book-chapter" @default.
- W13367657 hasAuthorship W13367657A5051613263 @default.
- W13367657 hasAuthorship W13367657A5071970957 @default.
- W13367657 hasBestOaLocation W133676571 @default.
- W13367657 hasConcept C11413529 @default.
- W13367657 hasConcept C121332964 @default.
- W13367657 hasConcept C126255220 @default.
- W13367657 hasConcept C134306372 @default.
- W13367657 hasConcept C162324750 @default.
- W13367657 hasConcept C165464430 @default.
- W13367657 hasConcept C176217482 @default.
- W13367657 hasConcept C179254644 @default.
- W13367657 hasConcept C182365436 @default.
- W13367657 hasConcept C21547014 @default.
- W13367657 hasConcept C33923547 @default.
- W13367657 hasConcept C41008148 @default.
- W13367657 hasConcept C74650414 @default.
- W13367657 hasConcept C80444323 @default.
- W13367657 hasConceptScore W13367657C11413529 @default.
- W13367657 hasConceptScore W13367657C121332964 @default.
- W13367657 hasConceptScore W13367657C126255220 @default.
- W13367657 hasConceptScore W13367657C134306372 @default.
- W13367657 hasConceptScore W13367657C162324750 @default.
- W13367657 hasConceptScore W13367657C165464430 @default.
- W13367657 hasConceptScore W13367657C176217482 @default.
- W13367657 hasConceptScore W13367657C179254644 @default.
- W13367657 hasConceptScore W13367657C182365436 @default.
- W13367657 hasConceptScore W13367657C21547014 @default.
- W13367657 hasConceptScore W13367657C33923547 @default.
- W13367657 hasConceptScore W13367657C41008148 @default.
- W13367657 hasConceptScore W13367657C74650414 @default.
- W13367657 hasConceptScore W13367657C80444323 @default.
- W13367657 hasLocation W133676571 @default.
- W13367657 hasOpenAccess W13367657 @default.
- W13367657 hasPrimaryLocation W133676571 @default.
- W13367657 hasRelatedWork W1971250661 @default.
- W13367657 hasRelatedWork W1973679146 @default.
- W13367657 hasRelatedWork W2114040185 @default.
- W13367657 hasRelatedWork W2357085366 @default.
- W13367657 hasRelatedWork W2618192697 @default.
- W13367657 hasRelatedWork W266446692 @default.
- W13367657 hasRelatedWork W2753491353 @default.
- W13367657 hasRelatedWork W3212953166 @default.
- W13367657 hasRelatedWork W4226141567 @default.
- W13367657 hasRelatedWork W4285254029 @default.
- W13367657 isParatext "false" @default.
- W13367657 isRetracted "false" @default.
- W13367657 magId "13367657" @default.
- W13367657 workType "book-chapter" @default.