FRINK Linked Data Fragments server

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

• W2113246814 endingPage "10" @default.
• W2113246814 startingPage "4" @default.
• W2113246814 abstract "Symbolic simulation via ordered binary decision diagrams (OBDDs) is becoming more feasible each year. These representations are often very efficient under an appropriate ordering of the variables of the functions represented. Recently, heuristics for ordering variables have been developed, but due to the nature of heuristics, no single heuristic always produces an appropriate ordering. The authors develop and analyze a technique for selecting the best of several candidate orderings. The ordering selection method is fast. Its ranking of an ordering is compared to the actual performance of an ordering during functionals (OBDD) calculations in circuits from the ISCAS85 combinational benchmarks. Compared to any previously published single ordering heuristic, the method allows OBDD calculations using less cumulative memory over all six circuits investigated, and also produces over an order of magnitude improvement for one or more of these circuits, over every single heuristic examined. >" @default.
• W2113246814 created "2016-06-24" @default.
• W2113246814 creator A5006682620 @default.
• W2113246814 creator A5023642611 @default.
• W2113246814 creator A5035016920 @default.
• W2113246814 creator A5057262572 @default.
• W2113246814 date "1991-02-25" @default.
• W2113246814 modified "2023-09-23" @default.
• W2113246814 title "Fast functional evaluation of candidate OBDD variable orderings" @default.
• W2113246814 cites W1602476740 @default.
• W2113246814 cites W1655990431 @default.
• W2113246814 cites W1906104889 @default.
• W2113246814 cites W1994143452 @default.
• W2113246814 cites W2053619330 @default.
• W2113246814 cites W2080267935 @default.
• W2113246814 cites W2099251677 @default.
• W2113246814 cites W2105634893 @default.
• W2113246814 cites W2108016168 @default.
• W2113246814 cites W2126693329 @default.
• W2113246814 cites W2129873456 @default.
• W2113246814 cites W2135453964 @default.
• W2113246814 cites W2141750474 @default.
• W2113246814 cites W2154030608 @default.
• W2113246814 cites W2157295479 @default.
• W2113246814 cites W2166089338 @default.
• W2113246814 cites W3165781521 @default.
• W2113246814 doi "https://doi.org/10.5555/951513.951515" @default.
• W2113246814 hasPublicationYear "1991" @default.
• W2113246814 type Work @default.
• W2113246814 sameAs 2113246814 @default.
• W2113246814 citedByCount "24" @default.
• W2113246814 crossrefType "proceedings-article" @default.
• W2113246814 hasAuthorship W2113246814A5006682620 @default.
• W2113246814 hasAuthorship W2113246814A5023642611 @default.
• W2113246814 hasAuthorship W2113246814A5035016920 @default.
• W2113246814 hasAuthorship W2113246814A5057262572 @default.
• W2113246814 hasConcept C11413529 @default.
• W2113246814 hasConcept C119599485 @default.
• W2113246814 hasConcept C126255220 @default.
• W2113246814 hasConcept C127413603 @default.
• W2113246814 hasConcept C127705205 @default.
• W2113246814 hasConcept C134146338 @default.
• W2113246814 hasConcept C134306372 @default.
• W2113246814 hasConcept C154945302 @default.
• W2113246814 hasConcept C173801870 @default.
• W2113246814 hasConcept C182365436 @default.
• W2113246814 hasConcept C187455244 @default.
• W2113246814 hasConcept C189430467 @default.
• W2113246814 hasConcept C3309909 @default.
• W2113246814 hasConcept C33923547 @default.
• W2113246814 hasConcept C41008148 @default.
• W2113246814 hasConcept C48372109 @default.
• W2113246814 hasConcept C80444323 @default.
• W2113246814 hasConcept C94375191 @default.
• W2113246814 hasConceptScore W2113246814C11413529 @default.
• W2113246814 hasConceptScore W2113246814C119599485 @default.
• W2113246814 hasConceptScore W2113246814C126255220 @default.
• W2113246814 hasConceptScore W2113246814C127413603 @default.
• W2113246814 hasConceptScore W2113246814C127705205 @default.
• W2113246814 hasConceptScore W2113246814C134146338 @default.
• W2113246814 hasConceptScore W2113246814C134306372 @default.
• W2113246814 hasConceptScore W2113246814C154945302 @default.
• W2113246814 hasConceptScore W2113246814C173801870 @default.
• W2113246814 hasConceptScore W2113246814C182365436 @default.
• W2113246814 hasConceptScore W2113246814C187455244 @default.
• W2113246814 hasConceptScore W2113246814C189430467 @default.
• W2113246814 hasConceptScore W2113246814C3309909 @default.
• W2113246814 hasConceptScore W2113246814C33923547 @default.
• W2113246814 hasConceptScore W2113246814C41008148 @default.
• W2113246814 hasConceptScore W2113246814C48372109 @default.
• W2113246814 hasConceptScore W2113246814C80444323 @default.
• W2113246814 hasConceptScore W2113246814C94375191 @default.
• W2113246814 hasLocation W21132468141 @default.
• W2113246814 hasOpenAccess W2113246814 @default.
• W2113246814 hasPrimaryLocation W21132468141 @default.
• W2113246814 hasRelatedWork W1596778355 @default.
• W2113246814 hasRelatedWork W1602476740 @default.
• W2113246814 hasRelatedWork W1813581279 @default.
• W2113246814 hasRelatedWork W1994143452 @default.
• W2113246814 hasRelatedWork W2008009970 @default.
• W2113246814 hasRelatedWork W2080267935 @default.
• W2113246814 hasRelatedWork W2108016168 @default.
• W2113246814 hasRelatedWork W2109449313 @default.
• W2113246814 hasRelatedWork W2114297459 @default.
• W2113246814 hasRelatedWork W2124251693 @default.
• W2113246814 hasRelatedWork W2132493982 @default.
• W2113246814 hasRelatedWork W2133491672 @default.
• W2113246814 hasRelatedWork W2135453964 @default.
• W2113246814 hasRelatedWork W2141472133 @default.
• W2113246814 hasRelatedWork W2149479807 @default.
• W2113246814 hasRelatedWork W2154030608 @default.
• W2113246814 hasRelatedWork W2155672011 @default.
• W2113246814 hasRelatedWork W2157295479 @default.
• W2113246814 hasRelatedWork W2367951639 @default.
• W2113246814 hasRelatedWork W2370871014 @default.
• W2113246814 isParatext "false" @default.
• W2113246814 isRetracted "false" @default.
• W2113246814 magId "2113246814" @default.

• next