Matches in SemOpenAlex for { <https://semopenalex.org/work/W2372440419> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2372440419 abstract "Binary Decision Diagram is a graph-based data structure for representing Boolean function. They have found widespread use in computer-aided design and in formal verification of digital circuits. We mainly investigate how to store BDD and to reduce the size of BDD. Firstly, we mainly introduce some background knowledge about Binary Decision Diagrams (BDD) in this paper. Secondly, we describe the ITE algorithm. Finally, we provide a technique for reordering variables in an SBDD to reduce the size of BDD." @default.
- W2372440419 created "2016-06-24" @default.
- W2372440419 creator A5075291671 @default.
- W2372440419 date "2007-01-01" @default.
- W2372440419 modified "2023-09-25" @default.
- W2372440419 title "A Technique for Reordering Variables in an SBDD to Reduce the Size of BDD" @default.
- W2372440419 hasPublicationYear "2007" @default.
- W2372440419 type Work @default.
- W2372440419 sameAs 2372440419 @default.
- W2372440419 citedByCount "0" @default.
- W2372440419 crossrefType "journal-article" @default.
- W2372440419 hasAuthorship W2372440419A5075291671 @default.
- W2372440419 hasConcept C11413529 @default.
- W2372440419 hasConcept C132525143 @default.
- W2372440419 hasConcept C162319229 @default.
- W2372440419 hasConcept C187455244 @default.
- W2372440419 hasConcept C199360897 @default.
- W2372440419 hasConcept C3309909 @default.
- W2372440419 hasConcept C33923547 @default.
- W2372440419 hasConcept C41008148 @default.
- W2372440419 hasConcept C48372109 @default.
- W2372440419 hasConcept C80444323 @default.
- W2372440419 hasConcept C94375191 @default.
- W2372440419 hasConceptScore W2372440419C11413529 @default.
- W2372440419 hasConceptScore W2372440419C132525143 @default.
- W2372440419 hasConceptScore W2372440419C162319229 @default.
- W2372440419 hasConceptScore W2372440419C187455244 @default.
- W2372440419 hasConceptScore W2372440419C199360897 @default.
- W2372440419 hasConceptScore W2372440419C3309909 @default.
- W2372440419 hasConceptScore W2372440419C33923547 @default.
- W2372440419 hasConceptScore W2372440419C41008148 @default.
- W2372440419 hasConceptScore W2372440419C48372109 @default.
- W2372440419 hasConceptScore W2372440419C80444323 @default.
- W2372440419 hasConceptScore W2372440419C94375191 @default.
- W2372440419 hasLocation W23724404191 @default.
- W2372440419 hasOpenAccess W2372440419 @default.
- W2372440419 hasPrimaryLocation W23724404191 @default.
- W2372440419 hasRelatedWork W1569007448 @default.
- W2372440419 hasRelatedWork W1608751818 @default.
- W2372440419 hasRelatedWork W1969482290 @default.
- W2372440419 hasRelatedWork W1995041806 @default.
- W2372440419 hasRelatedWork W2013638043 @default.
- W2372440419 hasRelatedWork W2018410393 @default.
- W2372440419 hasRelatedWork W2050697801 @default.
- W2372440419 hasRelatedWork W2052585438 @default.
- W2372440419 hasRelatedWork W2115105639 @default.
- W2372440419 hasRelatedWork W2122917767 @default.
- W2372440419 hasRelatedWork W2146530711 @default.
- W2372440419 hasRelatedWork W2146607599 @default.
- W2372440419 hasRelatedWork W2352822988 @default.
- W2372440419 hasRelatedWork W2390295256 @default.
- W2372440419 hasRelatedWork W2607560967 @default.
- W2372440419 hasRelatedWork W2622320040 @default.
- W2372440419 hasRelatedWork W2767987826 @default.
- W2372440419 hasRelatedWork W3011975706 @default.
- W2372440419 hasRelatedWork W3196342125 @default.
- W2372440419 hasRelatedWork W5386596 @default.
- W2372440419 isParatext "false" @default.
- W2372440419 isRetracted "false" @default.
- W2372440419 magId "2372440419" @default.
- W2372440419 workType "article" @default.