FRINK Linked Data Fragments server

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

• W2146920875 abstract "Boolean functions are fundamental to synthesis and verification of digital logic, and compact representations of Boolean functions have great practical significance. Popular representations, such as CNF, DNF, circuits and ROBDDs [4], offer different advantages and are preferred for different tasks. Conversion between those representations is common, especially when one is used to represent the input and another speeds up relevant algorithms. Our work addresses the construction of ROBDDs that represent outputs of a given Boolean circuit. It is used in synthesis and verification. Earlier works (Fujita, Fujisawa, and Kawato, 1988. Malik et al., 1988.) proposed ordering circuit inputs and gates by graph traversals. We contribute orderings based on circuit partitioning and placement, leveraging the progress in recursive bisection and multi-level min-cut partitioning achieved in late 1990s. Our empirical results show that the proposed orderings based on circuit partitioning and placement are more successful than straightforward DFS and BFS, as well as related heuristics." @default.
• W2146920875 created "2016-06-24" @default.
• W2146920875 creator A5065370018 @default.
• W2146920875 creator A5066105108 @default.
• W2146920875 creator A5077314055 @default.
• W2146920875 date "2003-06-26" @default.
• W2146920875 modified "2023-09-26" @default.
• W2146920875 title "Improving the efficiency of circuit-to-BDD conversion by gate and input ordering" @default.
• W2146920875 cites W1505590927 @default.
• W2146920875 cites W1602476740 @default.
• W2146920875 cites W2007480409 @default.
• W2146920875 cites W2080267935 @default.
• W2146920875 cites W2096121571 @default.
• W2146920875 cites W2100342064 @default.
• W2146920875 cites W2102502584 @default.
• W2146920875 cites W2112549062 @default.
• W2146920875 cites W2120970098 @default.
• W2146920875 cites W2126693329 @default.
• W2146920875 cites W2133491672 @default.
• W2146920875 cites W2146148755 @default.
• W2146920875 cites W2149479807 @default.
• W2146920875 cites W2150235978 @default.
• W2146920875 cites W2151040355 @default.
• W2146920875 cites W2154030608 @default.
• W2146920875 cites W3142504807 @default.
• W2146920875 doi "https://doi.org/10.1109/iccd.2002.1106749" @default.
• W2146920875 hasPublicationYear "2003" @default.
• W2146920875 type Work @default.
• W2146920875 sameAs 2146920875 @default.
• W2146920875 citedByCount "6" @default.
• W2146920875 crossrefType "proceedings-article" @default.
• W2146920875 hasAuthorship W2146920875A5065370018 @default.
• W2146920875 hasAuthorship W2146920875A5066105108 @default.
• W2146920875 hasAuthorship W2146920875A5077314055 @default.
• W2146920875 hasBestOaLocation W21469208752 @default.
• W2146920875 hasConcept C111919701 @default.
• W2146920875 hasConcept C11413529 @default.
• W2146920875 hasConcept C119599485 @default.
• W2146920875 hasConcept C127413603 @default.
• W2146920875 hasConcept C127705205 @default.
• W2146920875 hasConcept C131017901 @default.
• W2146920875 hasConcept C134146338 @default.
• W2146920875 hasConcept C141796577 @default.
• W2146920875 hasConcept C154945302 @default.
• W2146920875 hasConcept C157922185 @default.
• W2146920875 hasConcept C158465420 @default.
• W2146920875 hasConcept C173801870 @default.
• W2146920875 hasConcept C187455244 @default.
• W2146920875 hasConcept C196836630 @default.
• W2146920875 hasConcept C3309909 @default.
• W2146920875 hasConcept C41008148 @default.
• W2146920875 hasConcept C80444323 @default.
• W2146920875 hasConcept C81409106 @default.
• W2146920875 hasConcept C81843906 @default.
• W2146920875 hasConcept C94992772 @default.
• W2146920875 hasConceptScore W2146920875C111919701 @default.
• W2146920875 hasConceptScore W2146920875C11413529 @default.
• W2146920875 hasConceptScore W2146920875C119599485 @default.
• W2146920875 hasConceptScore W2146920875C127413603 @default.
• W2146920875 hasConceptScore W2146920875C127705205 @default.
• W2146920875 hasConceptScore W2146920875C131017901 @default.
• W2146920875 hasConceptScore W2146920875C134146338 @default.
• W2146920875 hasConceptScore W2146920875C141796577 @default.
• W2146920875 hasConceptScore W2146920875C154945302 @default.
• W2146920875 hasConceptScore W2146920875C157922185 @default.
• W2146920875 hasConceptScore W2146920875C158465420 @default.
• W2146920875 hasConceptScore W2146920875C173801870 @default.
• W2146920875 hasConceptScore W2146920875C187455244 @default.
• W2146920875 hasConceptScore W2146920875C196836630 @default.
• W2146920875 hasConceptScore W2146920875C3309909 @default.
• W2146920875 hasConceptScore W2146920875C41008148 @default.
• W2146920875 hasConceptScore W2146920875C80444323 @default.
• W2146920875 hasConceptScore W2146920875C81409106 @default.
• W2146920875 hasConceptScore W2146920875C81843906 @default.
• W2146920875 hasConceptScore W2146920875C94992772 @default.
• W2146920875 hasLocation W21469208751 @default.
• W2146920875 hasLocation W21469208752 @default.
• W2146920875 hasOpenAccess W2146920875 @default.
• W2146920875 hasPrimaryLocation W21469208751 @default.
• W2146920875 hasRelatedWork W2038804817 @default.
• W2146920875 hasRelatedWork W2038913744 @default.
• W2146920875 hasRelatedWork W2063730370 @default.
• W2146920875 hasRelatedWork W2071529508 @default.
• W2146920875 hasRelatedWork W2074578708 @default.
• W2146920875 hasRelatedWork W2080267935 @default.
• W2146920875 hasRelatedWork W2114722319 @default.
• W2146920875 hasRelatedWork W2115698906 @default.
• W2146920875 hasRelatedWork W2124679800 @default.
• W2146920875 hasRelatedWork W2131315544 @default.
• W2146920875 hasRelatedWork W2132184034 @default.
• W2146920875 hasRelatedWork W2134401100 @default.
• W2146920875 hasRelatedWork W2136912537 @default.
• W2146920875 hasRelatedWork W2149231873 @default.
• W2146920875 hasRelatedWork W2149479807 @default.
• W2146920875 hasRelatedWork W2150612825 @default.
• W2146920875 hasRelatedWork W2163861263 @default.
• W2146920875 hasRelatedWork W2168974500 @default.
• W2146920875 hasRelatedWork W2507900403 @default.
• W2146920875 hasRelatedWork W2587804194 @default.
• W2146920875 isParatext "false" @default.

• next