FRINK Linked Data Fragments server

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

• W2107322910 abstract "Reduced ordered binary decision diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synthesis and formal verification. In recent practical applications, BDDs are optimized with respect to new objective functions. In 1986, Bryant showed that, dependent on a chosen variable ordering, the size of BDDs can vary from linear to exponential. In this paper, we derive similar results for the sensitivity of BDDs with respect to path-related objective functions. First, we provide a theoretical view, giving examples for the large variation in the maximal path length and the expected path length in BDDs. This shows how important it is to choose a good or optimal variable ordering. Experimental results show the sensitivity of benchmark functions with respect to all considered objective functions." @default.
• W2107322910 created "2016-06-24" @default.
• W2107322910 creator A5071742136 @default.
• W2107322910 creator A5084967888 @default.
• W2107322910 date "2006-09-22" @default.
• W2107322910 modified "2023-09-24" @default.
• W2107322910 title "On the sensitivity of BDDs with respect to path-related objective functions" @default.
• W2107322910 cites W1519249305 @default.
• W2107322910 cites W1523986763 @default.
• W2107322910 cites W1702693931 @default.
• W2107322910 cites W186741861 @default.
• W2107322910 cites W1968414338 @default.
• W2107322910 cites W2000787196 @default.
• W2107322910 cites W2080267935 @default.
• W2107322910 cites W2096785857 @default.
• W2107322910 cites W2101801483 @default.
• W2107322910 cites W2107344241 @default.
• W2107322910 cites W2118400209 @default.
• W2107322910 cites W2129060213 @default.
• W2107322910 cites W2132493982 @default.
• W2107322910 cites W2135453964 @default.
• W2107322910 cites W2141472133 @default.
• W2107322910 cites W2149479807 @default.
• W2107322910 cites W2155672011 @default.
• W2107322910 cites W2156235172 @default.
• W2107322910 doi "https://doi.org/10.1109/iscas.2006.1693784" @default.
• W2107322910 hasPublicationYear "2006" @default.
• W2107322910 type Work @default.
• W2107322910 sameAs 2107322910 @default.
• W2107322910 citedByCount "1" @default.
• W2107322910 crossrefType "proceedings-article" @default.
• W2107322910 hasAuthorship W2107322910A5071742136 @default.
• W2107322910 hasAuthorship W2107322910A5084967888 @default.
• W2107322910 hasBestOaLocation W21073229102 @default.
• W2107322910 hasConcept C11413529 @default.
• W2107322910 hasConcept C127413603 @default.
• W2107322910 hasConcept C13280743 @default.
• W2107322910 hasConcept C134306372 @default.
• W2107322910 hasConcept C151376022 @default.
• W2107322910 hasConcept C17744445 @default.
• W2107322910 hasConcept C182365436 @default.
• W2107322910 hasConcept C185798385 @default.
• W2107322910 hasConcept C187455244 @default.
• W2107322910 hasConcept C199360897 @default.
• W2107322910 hasConcept C199539241 @default.
• W2107322910 hasConcept C205649164 @default.
• W2107322910 hasConcept C21200559 @default.
• W2107322910 hasConcept C24326235 @default.
• W2107322910 hasConcept C2776359362 @default.
• W2107322910 hasConcept C2777735758 @default.
• W2107322910 hasConcept C3309909 @default.
• W2107322910 hasConcept C33923547 @default.
• W2107322910 hasConcept C41008148 @default.
• W2107322910 hasConcept C94625758 @default.
• W2107322910 hasConceptScore W2107322910C11413529 @default.
• W2107322910 hasConceptScore W2107322910C127413603 @default.
• W2107322910 hasConceptScore W2107322910C13280743 @default.
• W2107322910 hasConceptScore W2107322910C134306372 @default.
• W2107322910 hasConceptScore W2107322910C151376022 @default.
• W2107322910 hasConceptScore W2107322910C17744445 @default.
• W2107322910 hasConceptScore W2107322910C182365436 @default.
• W2107322910 hasConceptScore W2107322910C185798385 @default.
• W2107322910 hasConceptScore W2107322910C187455244 @default.
• W2107322910 hasConceptScore W2107322910C199360897 @default.
• W2107322910 hasConceptScore W2107322910C199539241 @default.
• W2107322910 hasConceptScore W2107322910C205649164 @default.
• W2107322910 hasConceptScore W2107322910C21200559 @default.
• W2107322910 hasConceptScore W2107322910C24326235 @default.
• W2107322910 hasConceptScore W2107322910C2776359362 @default.
• W2107322910 hasConceptScore W2107322910C2777735758 @default.
• W2107322910 hasConceptScore W2107322910C3309909 @default.
• W2107322910 hasConceptScore W2107322910C33923547 @default.
• W2107322910 hasConceptScore W2107322910C41008148 @default.
• W2107322910 hasConceptScore W2107322910C94625758 @default.
• W2107322910 hasLocation W21073229101 @default.
• W2107322910 hasLocation W21073229102 @default.
• W2107322910 hasOpenAccess W2107322910 @default.
• W2107322910 hasPrimaryLocation W21073229101 @default.
• W2107322910 hasRelatedWork W1481200515 @default.
• W2107322910 hasRelatedWork W1784584879 @default.
• W2107322910 hasRelatedWork W1967949909 @default.
• W2107322910 hasRelatedWork W1975449960 @default.
• W2107322910 hasRelatedWork W1978014919 @default.
• W2107322910 hasRelatedWork W2002129030 @default.
• W2107322910 hasRelatedWork W2004079116 @default.
• W2107322910 hasRelatedWork W2109021772 @default.
• W2107322910 hasRelatedWork W2114358068 @default.
• W2107322910 hasRelatedWork W2115698906 @default.
• W2107322910 hasRelatedWork W2117251208 @default.
• W2107322910 hasRelatedWork W2121907509 @default.
• W2107322910 hasRelatedWork W2129060213 @default.
• W2107322910 hasRelatedWork W2135783838 @default.
• W2107322910 hasRelatedWork W2139011381 @default.
• W2107322910 hasRelatedWork W2146486595 @default.
• W2107322910 hasRelatedWork W2147817475 @default.
• W2107322910 hasRelatedWork W2149776892 @default.
• W2107322910 hasRelatedWork W2348548327 @default.
• W2107322910 hasRelatedWork W2935632405 @default.
• W2107322910 isParatext "false" @default.
• W2107322910 isRetracted "false" @default.

• next