Matches in SemOpenAlex for { <https://semopenalex.org/work/W2359304871> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2359304871 abstract "This paper analyses the basic characteristic and development of BDD(Binary Decision Diagrams). For the requirement of verification and test generation, the appending method of BDD construction is presented. In order to reduce the non-terminal vertexes, the variables sorting using local segment is studied. The experiment resultsshows that the appending method is simple and practical." @default.
- W2359304871 created "2016-06-24" @default.
- W2359304871 creator A5071161304 @default.
- W2359304871 date "1996-01-01" @default.
- W2359304871 modified "2023-09-24" @default.
- W2359304871 title "MBDD CONSTRUCTION AND OPTIMIZATION DESIGN" @default.
- W2359304871 hasPublicationYear "1996" @default.
- W2359304871 type Work @default.
- W2359304871 sameAs 2359304871 @default.
- W2359304871 citedByCount "0" @default.
- W2359304871 crossrefType "proceedings-article" @default.
- W2359304871 hasAuthorship W2359304871A5071161304 @default.
- W2359304871 hasConcept C111472728 @default.
- W2359304871 hasConcept C111696304 @default.
- W2359304871 hasConcept C11413529 @default.
- W2359304871 hasConcept C126255220 @default.
- W2359304871 hasConcept C138885662 @default.
- W2359304871 hasConcept C2780586882 @default.
- W2359304871 hasConcept C3309909 @default.
- W2359304871 hasConcept C33923547 @default.
- W2359304871 hasConcept C41008148 @default.
- W2359304871 hasConcept C48372109 @default.
- W2359304871 hasConcept C94375191 @default.
- W2359304871 hasConceptScore W2359304871C111472728 @default.
- W2359304871 hasConceptScore W2359304871C111696304 @default.
- W2359304871 hasConceptScore W2359304871C11413529 @default.
- W2359304871 hasConceptScore W2359304871C126255220 @default.
- W2359304871 hasConceptScore W2359304871C138885662 @default.
- W2359304871 hasConceptScore W2359304871C2780586882 @default.
- W2359304871 hasConceptScore W2359304871C3309909 @default.
- W2359304871 hasConceptScore W2359304871C33923547 @default.
- W2359304871 hasConceptScore W2359304871C41008148 @default.
- W2359304871 hasConceptScore W2359304871C48372109 @default.
- W2359304871 hasConceptScore W2359304871C94375191 @default.
- W2359304871 hasLocation W23593048711 @default.
- W2359304871 hasOpenAccess W2359304871 @default.
- W2359304871 hasPrimaryLocation W23593048711 @default.
- W2359304871 hasRelatedWork W1569007448 @default.
- W2359304871 hasRelatedWork W1965047962 @default.
- W2359304871 hasRelatedWork W2018410393 @default.
- W2359304871 hasRelatedWork W2026266139 @default.
- W2359304871 hasRelatedWork W2034524431 @default.
- W2359304871 hasRelatedWork W2052585438 @default.
- W2359304871 hasRelatedWork W2106863227 @default.
- W2359304871 hasRelatedWork W2115105639 @default.
- W2359304871 hasRelatedWork W2146530711 @default.
- W2359304871 hasRelatedWork W2146607599 @default.
- W2359304871 hasRelatedWork W2155025062 @default.
- W2359304871 hasRelatedWork W2185830795 @default.
- W2359304871 hasRelatedWork W2361074496 @default.
- W2359304871 hasRelatedWork W2364281603 @default.
- W2359304871 hasRelatedWork W2365616815 @default.
- W2359304871 hasRelatedWork W2365808277 @default.
- W2359304871 hasRelatedWork W2372440419 @default.
- W2359304871 hasRelatedWork W2607560967 @default.
- W2359304871 hasRelatedWork W2622320040 @default.
- W2359304871 hasRelatedWork W240357277 @default.
- W2359304871 isParatext "false" @default.
- W2359304871 isRetracted "false" @default.
- W2359304871 magId "2359304871" @default.
- W2359304871 workType "article" @default.