FRINK Linked Data Fragments server

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

• W2154682956 endingPage "533" @default.
• W2154682956 startingPage "521" @default.
• W2154682956 abstract "We propose a new algorithm, called linear sifting, for the optimization of decision diagrams that combines the efficiency of sifting and the power of linear transformations. The new algorithm is applicable to large examples, and in many cases leads to substantially more compact diagrams when compared to simple variable reordering. We also show in what sense linear transformations complement variable reordering and how the technique can be applied to verification issues. Going a step further, we discuss a synthesis scenario where-due to the complexity of the target function-it is inevitable to decompose the function in a preprocessing step. By using linear sifting it is possible to extract a linear filter and, hence, to achieve the necessary decomposition. Using this method we were able to synthesize functions with standard tools which fail otherwise." @default.
• W2154682956 created "2016-06-24" @default.
• W2154682956 creator A5028720104 @default.
• W2154682956 creator A5033952850 @default.
• W2154682956 creator A5077549627 @default.
• W2154682956 date "2000-05-01" @default.
• W2154682956 modified "2023-09-27" @default.
• W2154682956 title "Linear sifting of decision diagrams and its application in synthesis" @default.
• W2154682956 cites W1822320350 @default.
• W2154682956 cites W1879281873 @default.
• W2154682956 cites W1975335740 @default.
• W2154682956 cites W2010935983 @default.
• W2154682956 cites W2080267935 @default.
• W2154682956 cites W2081742683 @default.
• W2154682956 cites W2082448265 @default.
• W2154682956 cites W2095826301 @default.
• W2154682956 cites W2101953870 @default.
• W2154682956 cites W2114092850 @default.
• W2154682956 cites W2117656743 @default.
• W2154682956 cites W2117811434 @default.
• W2154682956 cites W2134103145 @default.
• W2154682956 cites W2146486595 @default.
• W2154682956 cites W2152406824 @default.
• W2154682956 cites W2158617703 @default.
• W2154682956 cites W2169435699 @default.
• W2154682956 cites W4214616294 @default.
• W2154682956 cites W4235684572 @default.
• W2154682956 cites W4239569538 @default.
• W2154682956 cites W4240542734 @default.
• W2154682956 cites W4243823432 @default.
• W2154682956 cites W4245015178 @default.
• W2154682956 cites W4250225510 @default.
• W2154682956 cites W4252439377 @default.
• W2154682956 cites W4255413535 @default.
• W2154682956 cites W4256467342 @default.
• W2154682956 cites W4378744510 @default.
• W2154682956 doi "https://doi.org/10.1109/43.845077" @default.
• W2154682956 hasPublicationYear "2000" @default.
• W2154682956 type Work @default.
• W2154682956 sameAs 2154682956 @default.
• W2154682956 citedByCount "36" @default.
• W2154682956 countsByYear W21546829562013 @default.
• W2154682956 countsByYear W21546829562014 @default.
• W2154682956 countsByYear W21546829562016 @default.
• W2154682956 countsByYear W21546829562017 @default.
• W2154682956 countsByYear W21546829562022 @default.
• W2154682956 countsByYear W21546829562023 @default.
• W2154682956 crossrefType "journal-article" @default.
• W2154682956 hasAuthorship W2154682956A5028720104 @default.
• W2154682956 hasAuthorship W2154682956A5033952850 @default.
• W2154682956 hasAuthorship W2154682956A5077549627 @default.
• W2154682956 hasConcept C104317684 @default.
• W2154682956 hasConcept C106131492 @default.
• W2154682956 hasConcept C111472728 @default.
• W2154682956 hasConcept C112313634 @default.
• W2154682956 hasConcept C11413529 @default.
• W2154682956 hasConcept C126255220 @default.
• W2154682956 hasConcept C127716648 @default.
• W2154682956 hasConcept C134306372 @default.
• W2154682956 hasConcept C138885662 @default.
• W2154682956 hasConcept C14036430 @default.
• W2154682956 hasConcept C154945302 @default.
• W2154682956 hasConcept C182365436 @default.
• W2154682956 hasConcept C185592680 @default.
• W2154682956 hasConcept C188082640 @default.
• W2154682956 hasConcept C2780586882 @default.
• W2154682956 hasConcept C31972630 @default.
• W2154682956 hasConcept C33923547 @default.
• W2154682956 hasConcept C34736171 @default.
• W2154682956 hasConcept C41008148 @default.
• W2154682956 hasConcept C55493867 @default.
• W2154682956 hasConcept C78458016 @default.
• W2154682956 hasConcept C86803240 @default.
• W2154682956 hasConceptScore W2154682956C104317684 @default.
• W2154682956 hasConceptScore W2154682956C106131492 @default.
• W2154682956 hasConceptScore W2154682956C111472728 @default.
• W2154682956 hasConceptScore W2154682956C112313634 @default.
• W2154682956 hasConceptScore W2154682956C11413529 @default.
• W2154682956 hasConceptScore W2154682956C126255220 @default.
• W2154682956 hasConceptScore W2154682956C127716648 @default.
• W2154682956 hasConceptScore W2154682956C134306372 @default.
• W2154682956 hasConceptScore W2154682956C138885662 @default.
• W2154682956 hasConceptScore W2154682956C14036430 @default.
• W2154682956 hasConceptScore W2154682956C154945302 @default.
• W2154682956 hasConceptScore W2154682956C182365436 @default.
• W2154682956 hasConceptScore W2154682956C185592680 @default.
• W2154682956 hasConceptScore W2154682956C188082640 @default.
• W2154682956 hasConceptScore W2154682956C2780586882 @default.
• W2154682956 hasConceptScore W2154682956C31972630 @default.
• W2154682956 hasConceptScore W2154682956C33923547 @default.
• W2154682956 hasConceptScore W2154682956C34736171 @default.
• W2154682956 hasConceptScore W2154682956C41008148 @default.
• W2154682956 hasConceptScore W2154682956C55493867 @default.
• W2154682956 hasConceptScore W2154682956C78458016 @default.
• W2154682956 hasConceptScore W2154682956C86803240 @default.
• W2154682956 hasIssue "5" @default.
• W2154682956 hasLocation W21546829561 @default.
• W2154682956 hasOpenAccess W2154682956 @default.

• next