Matches in SemOpenAlex for { <https://semopenalex.org/work/W2766673452> ?p ?o ?g. }
- W2766673452 endingPage "1391" @default.
- W2766673452 startingPage "1361" @default.
- W2766673452 abstract "Chain reduction enables reduced ordered binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) to each take advantage of the others' ability to symbolically represent Boolean functions in compact form. For any Boolean function, its chain-reduced ZDD (CZDD) representation will be no larger than its ZDD representation, and at most twice the size of its BDD representation. The chain-reduced BDD (CBDD) of a function will be no larger than its BDD representation, and at most three times the size of its CZDD representation. Extensions to the standard algorithms for operating on BDDs and ZDDs enable them to operate on the chain-reduced versions. Experimental evaluations on representative benchmarks for encoding word lists, solving combinatorial problems, and operating on digital circuits indicate that chain reduction can provide significant benefits in terms of both memory and execution time." @default.
- W2766673452 created "2017-11-10" @default.
- W2766673452 creator A5054408811 @default.
- W2766673452 date "2020-07-21" @default.
- W2766673452 modified "2023-10-18" @default.
- W2766673452 title "Chain Reduction for Binary and Zero-Suppressed Decision Diagrams" @default.
- W2766673452 cites W143396352 @default.
- W2766673452 cites W1553056365 @default.
- W2766673452 cites W1596186423 @default.
- W2766673452 cites W1975335740 @default.
- W2766673452 cites W2048895380 @default.
- W2766673452 cites W2049379258 @default.
- W2766673452 cites W2080267935 @default.
- W2766673452 cites W2105562886 @default.
- W2766673452 cites W2108016168 @default.
- W2766673452 cites W2112173236 @default.
- W2766673452 cites W212786159 @default.
- W2766673452 cites W2133491672 @default.
- W2766673452 cites W2135453964 @default.
- W2766673452 cites W2154478838 @default.
- W2766673452 cites W2337480916 @default.
- W2766673452 cites W2518574692 @default.
- W2766673452 cites W2766673452 @default.
- W2766673452 cites W2768055417 @default.
- W2766673452 cites W2935632405 @default.
- W2766673452 cites W2963971337 @default.
- W2766673452 doi "https://doi.org/10.1007/s10817-020-09569-6" @default.
- W2766673452 hasPublicationYear "2020" @default.
- W2766673452 type Work @default.
- W2766673452 sameAs 2766673452 @default.
- W2766673452 citedByCount "2" @default.
- W2766673452 countsByYear W27666734522020 @default.
- W2766673452 countsByYear W27666734522021 @default.
- W2766673452 crossrefType "journal-article" @default.
- W2766673452 hasAuthorship W2766673452A5054408811 @default.
- W2766673452 hasBestOaLocation W27666734522 @default.
- W2766673452 hasConcept C111335779 @default.
- W2766673452 hasConcept C11413529 @default.
- W2766673452 hasConcept C118615104 @default.
- W2766673452 hasConcept C121332964 @default.
- W2766673452 hasConcept C125411270 @default.
- W2766673452 hasConcept C1276947 @default.
- W2766673452 hasConcept C14036430 @default.
- W2766673452 hasConcept C154945302 @default.
- W2766673452 hasConcept C167528306 @default.
- W2766673452 hasConcept C17744445 @default.
- W2766673452 hasConcept C187455244 @default.
- W2766673452 hasConcept C199185054 @default.
- W2766673452 hasConcept C199539241 @default.
- W2766673452 hasConcept C2524010 @default.
- W2766673452 hasConcept C2776359362 @default.
- W2766673452 hasConcept C3309909 @default.
- W2766673452 hasConcept C33923547 @default.
- W2766673452 hasConcept C41008148 @default.
- W2766673452 hasConcept C48372109 @default.
- W2766673452 hasConcept C78458016 @default.
- W2766673452 hasConcept C80444323 @default.
- W2766673452 hasConcept C86803240 @default.
- W2766673452 hasConcept C94375191 @default.
- W2766673452 hasConcept C94625758 @default.
- W2766673452 hasConceptScore W2766673452C111335779 @default.
- W2766673452 hasConceptScore W2766673452C11413529 @default.
- W2766673452 hasConceptScore W2766673452C118615104 @default.
- W2766673452 hasConceptScore W2766673452C121332964 @default.
- W2766673452 hasConceptScore W2766673452C125411270 @default.
- W2766673452 hasConceptScore W2766673452C1276947 @default.
- W2766673452 hasConceptScore W2766673452C14036430 @default.
- W2766673452 hasConceptScore W2766673452C154945302 @default.
- W2766673452 hasConceptScore W2766673452C167528306 @default.
- W2766673452 hasConceptScore W2766673452C17744445 @default.
- W2766673452 hasConceptScore W2766673452C187455244 @default.
- W2766673452 hasConceptScore W2766673452C199185054 @default.
- W2766673452 hasConceptScore W2766673452C199539241 @default.
- W2766673452 hasConceptScore W2766673452C2524010 @default.
- W2766673452 hasConceptScore W2766673452C2776359362 @default.
- W2766673452 hasConceptScore W2766673452C3309909 @default.
- W2766673452 hasConceptScore W2766673452C33923547 @default.
- W2766673452 hasConceptScore W2766673452C41008148 @default.
- W2766673452 hasConceptScore W2766673452C48372109 @default.
- W2766673452 hasConceptScore W2766673452C78458016 @default.
- W2766673452 hasConceptScore W2766673452C80444323 @default.
- W2766673452 hasConceptScore W2766673452C86803240 @default.
- W2766673452 hasConceptScore W2766673452C94375191 @default.
- W2766673452 hasConceptScore W2766673452C94625758 @default.
- W2766673452 hasIssue "7" @default.
- W2766673452 hasLocation W27666734521 @default.
- W2766673452 hasLocation W27666734522 @default.
- W2766673452 hasOpenAccess W2766673452 @default.
- W2766673452 hasPrimaryLocation W27666734521 @default.
- W2766673452 hasRelatedWork W10951979 @default.
- W2766673452 hasRelatedWork W11451665 @default.
- W2766673452 hasRelatedWork W11494444 @default.
- W2766673452 hasRelatedWork W12588174 @default.
- W2766673452 hasRelatedWork W4096894 @default.
- W2766673452 hasRelatedWork W41163 @default.
- W2766673452 hasRelatedWork W5056303 @default.
- W2766673452 hasRelatedWork W80570 @default.
- W2766673452 hasRelatedWork W1967665 @default.