Matches in SemOpenAlex for { <https://semopenalex.org/work/W2001044250> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2001044250 abstract "We investigate the properties of the Ordered Ternary Decision Diagram (OTDD) in order to develop an efficient general OTDD package. The OTDD is a three-branched three-terminal diagram based on Kleenean strong ternary logic. The OTDD can represent functions having nontrivial don't-care sets in a single diagram and is capable of provably correct evaluation in the presence of unknown input values. We propose a number of improvements to both OTDD computational methods and data structures. Furthermore we introduce the purged form OTDD which unifies the abbreviated and full form OTDD into a single diagram. A package exploiting these OTDD specific properties is presented and we show the computational advantages of this improved package for LGSynth93 standard benchmarks." @default.
- W2001044250 created "2016-06-24" @default.
- W2001044250 creator A5009216509 @default.
- W2001044250 date "1995-01-01" @default.
- W2001044250 modified "2023-09-23" @default.
- W2001044250 title "Improved computational methods and lazy evaluation of the Ordered Ternary Decision Diagram" @default.
- W2001044250 cites W1487496064 @default.
- W2001044250 cites W2080267935 @default.
- W2001044250 cites W2118246991 @default.
- W2001044250 cites W2135453964 @default.
- W2001044250 cites W2148561925 @default.
- W2001044250 doi "https://doi.org/10.1145/224818.224927" @default.
- W2001044250 hasPublicationYear "1995" @default.
- W2001044250 type Work @default.
- W2001044250 sameAs 2001044250 @default.
- W2001044250 citedByCount "2" @default.
- W2001044250 crossrefType "proceedings-article" @default.
- W2001044250 hasAuthorship W2001044250A5009216509 @default.
- W2001044250 hasConcept C11413529 @default.
- W2001044250 hasConcept C124101348 @default.
- W2001044250 hasConcept C139478118 @default.
- W2001044250 hasConcept C179799912 @default.
- W2001044250 hasConcept C186399060 @default.
- W2001044250 hasConcept C199360897 @default.
- W2001044250 hasConcept C20837028 @default.
- W2001044250 hasConcept C3309909 @default.
- W2001044250 hasConcept C41008148 @default.
- W2001044250 hasConcept C64452783 @default.
- W2001044250 hasConcept C77088390 @default.
- W2001044250 hasConcept C80444323 @default.
- W2001044250 hasConcept C84525736 @default.
- W2001044250 hasConceptScore W2001044250C11413529 @default.
- W2001044250 hasConceptScore W2001044250C124101348 @default.
- W2001044250 hasConceptScore W2001044250C139478118 @default.
- W2001044250 hasConceptScore W2001044250C179799912 @default.
- W2001044250 hasConceptScore W2001044250C186399060 @default.
- W2001044250 hasConceptScore W2001044250C199360897 @default.
- W2001044250 hasConceptScore W2001044250C20837028 @default.
- W2001044250 hasConceptScore W2001044250C3309909 @default.
- W2001044250 hasConceptScore W2001044250C41008148 @default.
- W2001044250 hasConceptScore W2001044250C64452783 @default.
- W2001044250 hasConceptScore W2001044250C77088390 @default.
- W2001044250 hasConceptScore W2001044250C80444323 @default.
- W2001044250 hasConceptScore W2001044250C84525736 @default.
- W2001044250 hasLocation W20010442501 @default.
- W2001044250 hasOpenAccess W2001044250 @default.
- W2001044250 hasPrimaryLocation W20010442501 @default.
- W2001044250 hasRelatedWork W1488416029 @default.
- W2001044250 hasRelatedWork W1593794868 @default.
- W2001044250 hasRelatedWork W1976195070 @default.
- W2001044250 hasRelatedWork W2071401794 @default.
- W2001044250 hasRelatedWork W2074052167 @default.
- W2001044250 hasRelatedWork W2089210394 @default.
- W2001044250 hasRelatedWork W2105562886 @default.
- W2001044250 hasRelatedWork W2108212188 @default.
- W2001044250 hasRelatedWork W2109402501 @default.
- W2001044250 hasRelatedWork W2113246814 @default.
- W2001044250 hasRelatedWork W2121818071 @default.
- W2001044250 hasRelatedWork W2122589586 @default.
- W2001044250 hasRelatedWork W2124251693 @default.
- W2001044250 hasRelatedWork W2137108108 @default.
- W2001044250 hasRelatedWork W2144928878 @default.
- W2001044250 hasRelatedWork W2155672011 @default.
- W2001044250 hasRelatedWork W2158739484 @default.
- W2001044250 hasRelatedWork W2898646080 @default.
- W2001044250 hasRelatedWork W90984379 @default.
- W2001044250 hasRelatedWork W2181899636 @default.
- W2001044250 isParatext "false" @default.
- W2001044250 isRetracted "false" @default.
- W2001044250 magId "2001044250" @default.
- W2001044250 workType "article" @default.