FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002129030> ?p ?o ?g. }

• W2002129030 endingPage "59" @default.
• W2002129030 startingPage "41" @default.
• W2002129030 abstract "Free binary decision diagrams (FBDDs) are an extension of ordered BDDs (OBDDs) that allow different variable orders along each path. FBDDs are a more efficient representation, while (nearly) all of the properties of OBDDs are kept. In some cases, even an exponential reduction can be observed. In this paper we first present an exact algorithm to find a minimal FBDD representation for a given Boolean function. To reduce the huge search space, a pruning technique is used. Since the exact algorithm is only applicable to small functions, also two heuristic algorithms for FBDD minimization are described. The first one can be seen as a modification of the exact algorithm which constructs the FBDD starting from the root nodes. The second one is based on an evolutionary algorithm. Experimental results show that in many cases significant improvements can be obtained, compared to the best known OBDD and FBDD sizes." @default.
• W2002129030 created "2016-06-24" @default.
• W2002129030 creator A5029656113 @default.
• W2002129030 creator A5071742136 @default.
• W2002129030 date "2002-11-01" @default.
• W2002129030 modified "2023-09-26" @default.
• W2002129030 title "Minimization of free BDDs" @default.
• W2002129030 cites W1968923513 @default.
• W2002129030 cites W1994143452 @default.
• W2002129030 cites W2000356135 @default.
• W2002129030 cites W2016806954 @default.
• W2002129030 cites W2067321158 @default.
• W2002129030 cites W2080267935 @default.
• W2002129030 cites W2081040908 @default.
• W2002129030 cites W2099251677 @default.
• W2002129030 cites W2108016168 @default.
• W2002129030 cites W2133123458 @default.
• W2002129030 cites W2133491672 @default.
• W2002129030 cites W2135453964 @default.
• W2002129030 cites W2138273756 @default.
• W2002129030 cites W2141501391 @default.
• W2002129030 cites W2284207331 @default.
• W2002129030 cites W2966097595 @default.
• W2002129030 cites W4231842458 @default.
• W2002129030 cites W4243823432 @default.
• W2002129030 cites W4244230487 @default.
• W2002129030 cites W4252439377 @default.
• W2002129030 cites W4378744510 @default.
• W2002129030 doi "https://doi.org/10.1016/s0167-9260(02)00041-x" @default.
• W2002129030 hasPublicationYear "2002" @default.
• W2002129030 type Work @default.
• W2002129030 sameAs 2002129030 @default.
• W2002129030 citedByCount "8" @default.
• W2002129030 countsByYear W20021290302013 @default.
• W2002129030 crossrefType "journal-article" @default.
• W2002129030 hasAuthorship W2002129030A5029656113 @default.
• W2002129030 hasAuthorship W2002129030A5071742136 @default.
• W2002129030 hasConcept C108010975 @default.
• W2002129030 hasConcept C111335779 @default.
• W2002129030 hasConcept C11413529 @default.
• W2002129030 hasConcept C126255220 @default.
• W2002129030 hasConcept C134306372 @default.
• W2002129030 hasConcept C14036430 @default.
• W2002129030 hasConcept C147764199 @default.
• W2002129030 hasConcept C151376022 @default.
• W2002129030 hasConcept C173801870 @default.
• W2002129030 hasConcept C17744445 @default.
• W2002129030 hasConcept C187455244 @default.
• W2002129030 hasConcept C199360897 @default.
• W2002129030 hasConcept C199539241 @default.
• W2002129030 hasConcept C2524010 @default.
• W2002129030 hasConcept C2776359362 @default.
• W2002129030 hasConcept C2777735758 @default.
• W2002129030 hasConcept C2778029271 @default.
• W2002129030 hasConcept C3309909 @default.
• W2002129030 hasConcept C33923547 @default.
• W2002129030 hasConcept C41008148 @default.
• W2002129030 hasConcept C6557445 @default.
• W2002129030 hasConcept C78458016 @default.
• W2002129030 hasConcept C86803240 @default.
• W2002129030 hasConcept C94625758 @default.
• W2002129030 hasConceptScore W2002129030C108010975 @default.
• W2002129030 hasConceptScore W2002129030C111335779 @default.
• W2002129030 hasConceptScore W2002129030C11413529 @default.
• W2002129030 hasConceptScore W2002129030C126255220 @default.
• W2002129030 hasConceptScore W2002129030C134306372 @default.
• W2002129030 hasConceptScore W2002129030C14036430 @default.
• W2002129030 hasConceptScore W2002129030C147764199 @default.
• W2002129030 hasConceptScore W2002129030C151376022 @default.
• W2002129030 hasConceptScore W2002129030C173801870 @default.
• W2002129030 hasConceptScore W2002129030C17744445 @default.
• W2002129030 hasConceptScore W2002129030C187455244 @default.
• W2002129030 hasConceptScore W2002129030C199360897 @default.
• W2002129030 hasConceptScore W2002129030C199539241 @default.
• W2002129030 hasConceptScore W2002129030C2524010 @default.
• W2002129030 hasConceptScore W2002129030C2776359362 @default.
• W2002129030 hasConceptScore W2002129030C2777735758 @default.
• W2002129030 hasConceptScore W2002129030C2778029271 @default.
• W2002129030 hasConceptScore W2002129030C3309909 @default.
• W2002129030 hasConceptScore W2002129030C33923547 @default.
• W2002129030 hasConceptScore W2002129030C41008148 @default.
• W2002129030 hasConceptScore W2002129030C6557445 @default.
• W2002129030 hasConceptScore W2002129030C78458016 @default.
• W2002129030 hasConceptScore W2002129030C86803240 @default.
• W2002129030 hasConceptScore W2002129030C94625758 @default.
• W2002129030 hasIssue "1-2" @default.
• W2002129030 hasLocation W20021290301 @default.
• W2002129030 hasOpenAccess W2002129030 @default.
• W2002129030 hasPrimaryLocation W20021290301 @default.
• W2002129030 hasRelatedWork W1882536651 @default.
• W2002129030 hasRelatedWork W2056754788 @default.
• W2002129030 hasRelatedWork W2107858876 @default.
• W2002129030 hasRelatedWork W2146486595 @default.
• W2002129030 hasRelatedWork W2160983885 @default.
• W2002129030 hasRelatedWork W2168502405 @default.
• W2002129030 hasRelatedWork W2766673452 @default.
• W2002129030 hasRelatedWork W3140369816 @default.
• W2002129030 hasRelatedWork W4300631294 @default.

• next