Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145874891> ?p ?o ?g. }
- W2145874891 abstract "Ordered Kronecker functional decision diagrams (OKFDD) are an extension of the popular ordered binary decision diagrams (OBDD) and as such provide a more compact representation of Boolean functions than OBDDs. Symmetric functions are useful in logic synthesis. In this paper, we present an optimal algorithm for detecting symmetric functions represented in OKFDDs." @default.
- W2145874891 created "2016-06-24" @default.
- W2145874891 creator A5027976243 @default.
- W2145874891 creator A5071742136 @default.
- W2145874891 creator A5082437433 @default.
- W2145874891 date "2002-11-11" @default.
- W2145874891 modified "2023-09-23" @default.
- W2145874891 title "Optimal symmetry detection for OKFDDs" @default.
- W2145874891 cites W1604160780 @default.
- W2145874891 cites W1831145899 @default.
- W2145874891 cites W1965245973 @default.
- W2145874891 cites W2078740228 @default.
- W2145874891 cites W2080267935 @default.
- W2145874891 cites W2092755933 @default.
- W2145874891 cites W2095826301 @default.
- W2145874891 cites W2102128707 @default.
- W2145874891 cites W2108016168 @default.
- W2145874891 cites W2111368429 @default.
- W2145874891 cites W2122479308 @default.
- W2145874891 cites W2129052258 @default.
- W2145874891 cites W2134401100 @default.
- W2145874891 cites W2138273756 @default.
- W2145874891 cites W2144491553 @default.
- W2145874891 cites W2149479807 @default.
- W2145874891 cites W2149811044 @default.
- W2145874891 cites W2150612825 @default.
- W2145874891 cites W2156394622 @default.
- W2145874891 doi "https://doi.org/10.1109/mwscas.2000.951480" @default.
- W2145874891 hasPublicationYear "2002" @default.
- W2145874891 type Work @default.
- W2145874891 sameAs 2145874891 @default.
- W2145874891 citedByCount "1" @default.
- W2145874891 crossrefType "proceedings-article" @default.
- W2145874891 hasAuthorship W2145874891A5027976243 @default.
- W2145874891 hasAuthorship W2145874891A5071742136 @default.
- W2145874891 hasAuthorship W2145874891A5082437433 @default.
- W2145874891 hasConcept C11413529 @default.
- W2145874891 hasConcept C114614502 @default.
- W2145874891 hasConcept C118615104 @default.
- W2145874891 hasConcept C121332964 @default.
- W2145874891 hasConcept C136119220 @default.
- W2145874891 hasConcept C17744445 @default.
- W2145874891 hasConcept C187455244 @default.
- W2145874891 hasConcept C199360897 @default.
- W2145874891 hasConcept C199539241 @default.
- W2145874891 hasConcept C202444582 @default.
- W2145874891 hasConcept C2524010 @default.
- W2145874891 hasConcept C2776359362 @default.
- W2145874891 hasConcept C2778029271 @default.
- W2145874891 hasConcept C2779886137 @default.
- W2145874891 hasConcept C3309909 @default.
- W2145874891 hasConcept C33923547 @default.
- W2145874891 hasConcept C3746008 @default.
- W2145874891 hasConcept C39482219 @default.
- W2145874891 hasConcept C41008148 @default.
- W2145874891 hasConcept C48372109 @default.
- W2145874891 hasConcept C62520636 @default.
- W2145874891 hasConcept C80444323 @default.
- W2145874891 hasConcept C94375191 @default.
- W2145874891 hasConcept C94625758 @default.
- W2145874891 hasConceptScore W2145874891C11413529 @default.
- W2145874891 hasConceptScore W2145874891C114614502 @default.
- W2145874891 hasConceptScore W2145874891C118615104 @default.
- W2145874891 hasConceptScore W2145874891C121332964 @default.
- W2145874891 hasConceptScore W2145874891C136119220 @default.
- W2145874891 hasConceptScore W2145874891C17744445 @default.
- W2145874891 hasConceptScore W2145874891C187455244 @default.
- W2145874891 hasConceptScore W2145874891C199360897 @default.
- W2145874891 hasConceptScore W2145874891C199539241 @default.
- W2145874891 hasConceptScore W2145874891C202444582 @default.
- W2145874891 hasConceptScore W2145874891C2524010 @default.
- W2145874891 hasConceptScore W2145874891C2776359362 @default.
- W2145874891 hasConceptScore W2145874891C2778029271 @default.
- W2145874891 hasConceptScore W2145874891C2779886137 @default.
- W2145874891 hasConceptScore W2145874891C3309909 @default.
- W2145874891 hasConceptScore W2145874891C33923547 @default.
- W2145874891 hasConceptScore W2145874891C3746008 @default.
- W2145874891 hasConceptScore W2145874891C39482219 @default.
- W2145874891 hasConceptScore W2145874891C41008148 @default.
- W2145874891 hasConceptScore W2145874891C48372109 @default.
- W2145874891 hasConceptScore W2145874891C62520636 @default.
- W2145874891 hasConceptScore W2145874891C80444323 @default.
- W2145874891 hasConceptScore W2145874891C94375191 @default.
- W2145874891 hasConceptScore W2145874891C94625758 @default.
- W2145874891 hasLocation W21458748911 @default.
- W2145874891 hasOpenAccess W2145874891 @default.
- W2145874891 hasPrimaryLocation W21458748911 @default.
- W2145874891 hasRelatedWork W1488416029 @default.
- W2145874891 hasRelatedWork W1661244884 @default.
- W2145874891 hasRelatedWork W1901847859 @default.
- W2145874891 hasRelatedWork W1934047285 @default.
- W2145874891 hasRelatedWork W1971925205 @default.
- W2145874891 hasRelatedWork W2011771169 @default.
- W2145874891 hasRelatedWork W2073013179 @default.
- W2145874891 hasRelatedWork W2074052167 @default.
- W2145874891 hasRelatedWork W2105562886 @default.
- W2145874891 hasRelatedWork W2108212188 @default.
- W2145874891 hasRelatedWork W2121769108 @default.
- W2145874891 hasRelatedWork W2128188963 @default.
- W2145874891 hasRelatedWork W2146686891 @default.