Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155672011> ?p ?o ?g. }
- W2155672011 endingPage "41" @default.
- W2155672011 startingPage "38" @default.
- W2155672011 abstract "Ordered binary decision diagrams (OBDDs) are efficient representations of Boolean functions and have been widely used in various computer-aided design tools. Since the size of an OBDD depends on variable ordering, it is important to find a good variable order for the efficient manipulation of OBDDs. In particular, it is important to find the same good variable order for multiple functions, since multiple functions are handled at the same time in most computer-aided design tools. The paper describes new variable ordering algorithms for multiple output circuits. The new algorithms use variable interleaving, while conventional algorithms use variable appending. For some benchmark circuits, OBDDs have been successfully generated by using the new algorithms, while they have not been generated by using conventional algorithms. Consequently, the new variable ordering algorithms are effective and allow us to apply OBDD-based CAD tools to wider classes of circuits." @default.
- W2155672011 created "2016-06-24" @default.
- W2155672011 creator A5000120492 @default.
- W2155672011 creator A5025796991 @default.
- W2155672011 creator A5084908821 @default.
- W2155672011 date "1993-11-07" @default.
- W2155672011 modified "2023-09-26" @default.
- W2155672011 title "Interleaving based variable ordering methods for ordered binary decision diagrams" @default.
- W2155672011 cites W1602476740 @default.
- W2155672011 cites W2008009970 @default.
- W2155672011 cites W2080267935 @default.
- W2155672011 cites W2109449313 @default.
- W2155672011 cites W2126693329 @default.
- W2155672011 cites W2132493982 @default.
- W2155672011 cites W2133491672 @default.
- W2155672011 cites W2135453964 @default.
- W2155672011 cites W2142707936 @default.
- W2155672011 cites W2152406824 @default.
- W2155672011 cites W3142504807 @default.
- W2155672011 doi "https://doi.org/10.5555/259794.259801" @default.
- W2155672011 hasPublicationYear "1993" @default.
- W2155672011 type Work @default.
- W2155672011 sameAs 2155672011 @default.
- W2155672011 citedByCount "64" @default.
- W2155672011 countsByYear W21556720112013 @default.
- W2155672011 countsByYear W21556720112014 @default.
- W2155672011 countsByYear W21556720112015 @default.
- W2155672011 countsByYear W21556720112017 @default.
- W2155672011 countsByYear W21556720112018 @default.
- W2155672011 crossrefType "proceedings-article" @default.
- W2155672011 hasAuthorship W2155672011A5000120492 @default.
- W2155672011 hasAuthorship W2155672011A5025796991 @default.
- W2155672011 hasAuthorship W2155672011A5084908821 @default.
- W2155672011 hasConcept C111919701 @default.
- W2155672011 hasConcept C11413529 @default.
- W2155672011 hasConcept C119599485 @default.
- W2155672011 hasConcept C127413603 @default.
- W2155672011 hasConcept C13280743 @default.
- W2155672011 hasConcept C134146338 @default.
- W2155672011 hasConcept C134306372 @default.
- W2155672011 hasConcept C141796577 @default.
- W2155672011 hasConcept C182365436 @default.
- W2155672011 hasConcept C185798385 @default.
- W2155672011 hasConcept C187455244 @default.
- W2155672011 hasConcept C205649164 @default.
- W2155672011 hasConcept C28034677 @default.
- W2155672011 hasConcept C3309909 @default.
- W2155672011 hasConcept C33923547 @default.
- W2155672011 hasConcept C41008148 @default.
- W2155672011 hasConcept C48372109 @default.
- W2155672011 hasConcept C80444323 @default.
- W2155672011 hasConcept C94375191 @default.
- W2155672011 hasConcept C94992772 @default.
- W2155672011 hasConceptScore W2155672011C111919701 @default.
- W2155672011 hasConceptScore W2155672011C11413529 @default.
- W2155672011 hasConceptScore W2155672011C119599485 @default.
- W2155672011 hasConceptScore W2155672011C127413603 @default.
- W2155672011 hasConceptScore W2155672011C13280743 @default.
- W2155672011 hasConceptScore W2155672011C134146338 @default.
- W2155672011 hasConceptScore W2155672011C134306372 @default.
- W2155672011 hasConceptScore W2155672011C141796577 @default.
- W2155672011 hasConceptScore W2155672011C182365436 @default.
- W2155672011 hasConceptScore W2155672011C185798385 @default.
- W2155672011 hasConceptScore W2155672011C187455244 @default.
- W2155672011 hasConceptScore W2155672011C205649164 @default.
- W2155672011 hasConceptScore W2155672011C28034677 @default.
- W2155672011 hasConceptScore W2155672011C3309909 @default.
- W2155672011 hasConceptScore W2155672011C33923547 @default.
- W2155672011 hasConceptScore W2155672011C41008148 @default.
- W2155672011 hasConceptScore W2155672011C48372109 @default.
- W2155672011 hasConceptScore W2155672011C80444323 @default.
- W2155672011 hasConceptScore W2155672011C94375191 @default.
- W2155672011 hasConceptScore W2155672011C94992772 @default.
- W2155672011 hasLocation W21556720111 @default.
- W2155672011 hasOpenAccess W2155672011 @default.
- W2155672011 hasPrimaryLocation W21556720111 @default.
- W2155672011 hasRelatedWork W1596186423 @default.
- W2155672011 hasRelatedWork W1602476740 @default.
- W2155672011 hasRelatedWork W1886348063 @default.
- W2155672011 hasRelatedWork W1994143452 @default.
- W2155672011 hasRelatedWork W2004079116 @default.
- W2155672011 hasRelatedWork W2016806954 @default.
- W2155672011 hasRelatedWork W2030224590 @default.
- W2155672011 hasRelatedWork W2080267935 @default.
- W2155672011 hasRelatedWork W2095826301 @default.
- W2155672011 hasRelatedWork W2100083403 @default.
- W2155672011 hasRelatedWork W2108016168 @default.
- W2155672011 hasRelatedWork W2109449313 @default.
- W2155672011 hasRelatedWork W2132493982 @default.
- W2155672011 hasRelatedWork W2133491672 @default.
- W2155672011 hasRelatedWork W2135453964 @default.
- W2155672011 hasRelatedWork W2141472133 @default.
- W2155672011 hasRelatedWork W2142707936 @default.
- W2155672011 hasRelatedWork W2144491553 @default.
- W2155672011 hasRelatedWork W2149479807 @default.
- W2155672011 hasRelatedWork W2154030608 @default.
- W2155672011 isParatext "false" @default.
- W2155672011 isRetracted "false" @default.