Matches in SemOpenAlex for { <https://semopenalex.org/work/W2935632405> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2935632405 abstract "Various versions of binary decision diagrams (BDDs) have been proposed in the past, differing in the reduction rule needed to give meaning to edges skipping levels. The most widely adopted, fully-reduced BDDs and zero-suppressed BDDs, excel at encoding different types of boolean functions (if the function contains subfunctions independent of one or more underlying variables, or it tends to have value zero when one of its arguments is nonzero, respectively). Recently, new classes of BDDs have been proposed that, at the cost of some additional complexity and larger memory requirements per node, exploit both cases. We introduce a new type of BDD that we believe is conceptually simpler, has small memory requirements in terms of node size, tends to result in fewer nodes, and can easily be further extended with additional reduction rules. We present a formal definition, prove canonicity, and provide experimental results to support our efficiency claims." @default.
- W2935632405 created "2019-04-11" @default.
- W2935632405 creator A5013181251 @default.
- W2935632405 creator A5037662686 @default.
- W2935632405 creator A5066568314 @default.
- W2935632405 creator A5071970957 @default.
- W2935632405 date "2019-01-01" @default.
- W2935632405 modified "2023-09-26" @default.
- W2935632405 title "Binary Decision Diagrams with Edge-Specified Reductions" @default.
- W2935632405 cites W1545320146 @default.
- W2935632405 cites W2072916763 @default.
- W2935632405 cites W2080267935 @default.
- W2935632405 cites W2768055417 @default.
- W2935632405 cites W2963971337 @default.
- W2935632405 doi "https://doi.org/10.1007/978-3-030-17465-1_17" @default.
- W2935632405 hasPublicationYear "2019" @default.
- W2935632405 type Work @default.
- W2935632405 sameAs 2935632405 @default.
- W2935632405 citedByCount "4" @default.
- W2935632405 countsByYear W29356324052020 @default.
- W2935632405 countsByYear W29356324052022 @default.
- W2935632405 crossrefType "book-chapter" @default.
- W2935632405 hasAuthorship W2935632405A5013181251 @default.
- W2935632405 hasAuthorship W2935632405A5037662686 @default.
- W2935632405 hasAuthorship W2935632405A5066568314 @default.
- W2935632405 hasAuthorship W2935632405A5071970957 @default.
- W2935632405 hasBestOaLocation W29356324051 @default.
- W2935632405 hasConcept C111335779 @default.
- W2935632405 hasConcept C11413529 @default.
- W2935632405 hasConcept C127413603 @default.
- W2935632405 hasConcept C14036430 @default.
- W2935632405 hasConcept C187455244 @default.
- W2935632405 hasConcept C2524010 @default.
- W2935632405 hasConcept C3309909 @default.
- W2935632405 hasConcept C33923547 @default.
- W2935632405 hasConcept C41008148 @default.
- W2935632405 hasConcept C62611344 @default.
- W2935632405 hasConcept C66938386 @default.
- W2935632405 hasConcept C78458016 @default.
- W2935632405 hasConcept C80444323 @default.
- W2935632405 hasConcept C86803240 @default.
- W2935632405 hasConceptScore W2935632405C111335779 @default.
- W2935632405 hasConceptScore W2935632405C11413529 @default.
- W2935632405 hasConceptScore W2935632405C127413603 @default.
- W2935632405 hasConceptScore W2935632405C14036430 @default.
- W2935632405 hasConceptScore W2935632405C187455244 @default.
- W2935632405 hasConceptScore W2935632405C2524010 @default.
- W2935632405 hasConceptScore W2935632405C3309909 @default.
- W2935632405 hasConceptScore W2935632405C33923547 @default.
- W2935632405 hasConceptScore W2935632405C41008148 @default.
- W2935632405 hasConceptScore W2935632405C62611344 @default.
- W2935632405 hasConceptScore W2935632405C66938386 @default.
- W2935632405 hasConceptScore W2935632405C78458016 @default.
- W2935632405 hasConceptScore W2935632405C80444323 @default.
- W2935632405 hasConceptScore W2935632405C86803240 @default.
- W2935632405 hasLocation W29356324051 @default.
- W2935632405 hasOpenAccess W2935632405 @default.
- W2935632405 hasPrimaryLocation W29356324051 @default.
- W2935632405 hasRelatedWork W1548649610 @default.
- W2935632405 hasRelatedWork W1554387452 @default.
- W2935632405 hasRelatedWork W1965630905 @default.
- W2935632405 hasRelatedWork W2115698906 @default.
- W2935632405 hasRelatedWork W2160667400 @default.
- W2935632405 hasRelatedWork W2295542068 @default.
- W2935632405 hasRelatedWork W2542904743 @default.
- W2935632405 hasRelatedWork W2803843036 @default.
- W2935632405 hasRelatedWork W2186194795 @default.
- W2935632405 hasRelatedWork W2571811925 @default.
- W2935632405 isParatext "false" @default.
- W2935632405 isRetracted "false" @default.
- W2935632405 magId "2935632405" @default.
- W2935632405 workType "book-chapter" @default.