Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149776892> ?p ?o ?g. }
- W2149776892 abstract "Word-Level Decision Diagrams (WLDDs), like *BMDs or K*BMDs, have been introduced to overcome the limitations of Binary Decision Diagrams (BDDs), which are the state-of-the-art data structure to represent and manipulate Boolean functions. However, the size of these graph types largely depends on the variable ordering, i.e. it may vary from linear to exponential. In the meantime, dynamic approaches to find a good variable ordering are also known for WLDDs. In this paper we show how these approaches can be accelerated significantly using a combination of a lower bound computation and synthesis operations. In the experiments it turned out that by this technique, the runtime for dynamic minimization can be reduced by more than 40% on average without loss of quality." @default.
- W2149776892 created "2016-06-24" @default.
- W2149776892 creator A5029656113 @default.
- W2149776892 creator A5071742136 @default.
- W2149776892 creator A5075414052 @default.
- W2149776892 date "2002-11-08" @default.
- W2149776892 modified "2023-09-26" @default.
- W2149776892 title "Efficient dynamic minimization of word-level DDs based on lower bound computation" @default.
- W2149776892 cites W1481825323 @default.
- W2149776892 cites W1498875780 @default.
- W2149776892 cites W1526402628 @default.
- W2149776892 cites W1540389367 @default.
- W2149776892 cites W1595607623 @default.
- W2149776892 cites W1596186423 @default.
- W2149776892 cites W1600266026 @default.
- W2149776892 cites W1977533508 @default.
- W2149776892 cites W2027082801 @default.
- W2149776892 cites W2036085256 @default.
- W2149776892 cites W2076541715 @default.
- W2149776892 cites W2080267935 @default.
- W2149776892 cites W2095999202 @default.
- W2149776892 cites W2100083403 @default.
- W2149776892 cites W2105562886 @default.
- W2149776892 cites W2109449313 @default.
- W2149776892 cites W2113598105 @default.
- W2149776892 cites W2119209999 @default.
- W2149776892 cites W2120724211 @default.
- W2149776892 cites W2123879785 @default.
- W2149776892 cites W2123939985 @default.
- W2149776892 cites W2127271657 @default.
- W2149776892 cites W2129126296 @default.
- W2149776892 cites W2135453964 @default.
- W2149776892 cites W2139011381 @default.
- W2149776892 cites W2141472133 @default.
- W2149776892 cites W2144491553 @default.
- W2149776892 cites W2149479807 @default.
- W2149776892 cites W2167435507 @default.
- W2149776892 cites W2170250139 @default.
- W2149776892 doi "https://doi.org/10.1109/iccd.2000.878312" @default.
- W2149776892 hasPublicationYear "2002" @default.
- W2149776892 type Work @default.
- W2149776892 sameAs 2149776892 @default.
- W2149776892 citedByCount "2" @default.
- W2149776892 crossrefType "proceedings-article" @default.
- W2149776892 hasAuthorship W2149776892A5029656113 @default.
- W2149776892 hasAuthorship W2149776892A5071742136 @default.
- W2149776892 hasAuthorship W2149776892A5075414052 @default.
- W2149776892 hasConcept C11413529 @default.
- W2149776892 hasConcept C132525143 @default.
- W2149776892 hasConcept C134306372 @default.
- W2149776892 hasConcept C147764199 @default.
- W2149776892 hasConcept C151376022 @default.
- W2149776892 hasConcept C182365436 @default.
- W2149776892 hasConcept C187455244 @default.
- W2149776892 hasConcept C199360897 @default.
- W2149776892 hasConcept C3309909 @default.
- W2149776892 hasConcept C33923547 @default.
- W2149776892 hasConcept C41008148 @default.
- W2149776892 hasConcept C45374587 @default.
- W2149776892 hasConcept C48372109 @default.
- W2149776892 hasConcept C7342684 @default.
- W2149776892 hasConcept C77553402 @default.
- W2149776892 hasConcept C80444323 @default.
- W2149776892 hasConcept C94375191 @default.
- W2149776892 hasConceptScore W2149776892C11413529 @default.
- W2149776892 hasConceptScore W2149776892C132525143 @default.
- W2149776892 hasConceptScore W2149776892C134306372 @default.
- W2149776892 hasConceptScore W2149776892C147764199 @default.
- W2149776892 hasConceptScore W2149776892C151376022 @default.
- W2149776892 hasConceptScore W2149776892C182365436 @default.
- W2149776892 hasConceptScore W2149776892C187455244 @default.
- W2149776892 hasConceptScore W2149776892C199360897 @default.
- W2149776892 hasConceptScore W2149776892C3309909 @default.
- W2149776892 hasConceptScore W2149776892C33923547 @default.
- W2149776892 hasConceptScore W2149776892C41008148 @default.
- W2149776892 hasConceptScore W2149776892C45374587 @default.
- W2149776892 hasConceptScore W2149776892C48372109 @default.
- W2149776892 hasConceptScore W2149776892C7342684 @default.
- W2149776892 hasConceptScore W2149776892C77553402 @default.
- W2149776892 hasConceptScore W2149776892C80444323 @default.
- W2149776892 hasConceptScore W2149776892C94375191 @default.
- W2149776892 hasLocation W21497768921 @default.
- W2149776892 hasOpenAccess W2149776892 @default.
- W2149776892 hasPrimaryLocation W21497768921 @default.
- W2149776892 hasRelatedWork W1596974888 @default.
- W2149776892 hasRelatedWork W1784584879 @default.
- W2149776892 hasRelatedWork W1967949909 @default.
- W2149776892 hasRelatedWork W1975449960 @default.
- W2149776892 hasRelatedWork W1978014919 @default.
- W2149776892 hasRelatedWork W2004079116 @default.
- W2149776892 hasRelatedWork W2038913744 @default.
- W2149776892 hasRelatedWork W2096820312 @default.
- W2149776892 hasRelatedWork W2107322910 @default.
- W2149776892 hasRelatedWork W2109021772 @default.
- W2149776892 hasRelatedWork W2114358068 @default.
- W2149776892 hasRelatedWork W2129060213 @default.
- W2149776892 hasRelatedWork W2135783838 @default.
- W2149776892 hasRelatedWork W2139011381 @default.
- W2149776892 hasRelatedWork W2146486595 @default.
- W2149776892 hasRelatedWork W2147817475 @default.