Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108077002> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2108077002 abstract "We propose a new algorithm, called linear sifting, for theoptimization of decision diagrams that combines the efficiency of sifting and the power of linear transformations. We show that the new algorithm is applicable to large examples, and that inmany cases it leads to substantiallymore compact diagrams when compared to simple variablereordering. We show inwhat sense linear transformationscomplement variable reordering, and we discuss applications of the new technique to synthesis and verification." @default.
- W2108077002 created "2016-06-24" @default.
- W2108077002 creator A5028720104 @default.
- W2108077002 creator A5033952850 @default.
- W2108077002 creator A5077549627 @default.
- W2108077002 date "1997-01-01" @default.
- W2108077002 modified "2023-09-26" @default.
- W2108077002 title "Linear sifting of decision diagrams" @default.
- W2108077002 cites W1605593319 @default.
- W2108077002 cites W1861234251 @default.
- W2108077002 cites W1879281873 @default.
- W2108077002 cites W1975335740 @default.
- W2108077002 cites W1979520342 @default.
- W2108077002 cites W1983064190 @default.
- W2108077002 cites W2080267935 @default.
- W2108077002 cites W2095826301 @default.
- W2108077002 cites W2095999202 @default.
- W2108077002 cites W2100083403 @default.
- W2108077002 cites W2109449313 @default.
- W2108077002 cites W2113598105 @default.
- W2108077002 cites W2114092850 @default.
- W2108077002 cites W2117656743 @default.
- W2108077002 cites W2126693329 @default.
- W2108077002 cites W2127271657 @default.
- W2108077002 cites W2135453964 @default.
- W2108077002 cites W2148068842 @default.
- W2108077002 cites W2149479807 @default.
- W2108077002 cites W2152406824 @default.
- W2108077002 cites W2157855934 @default.
- W2108077002 cites W2158617703 @default.
- W2108077002 doi "https://doi.org/10.1145/266021.266066" @default.
- W2108077002 hasPublicationYear "1997" @default.
- W2108077002 type Work @default.
- W2108077002 sameAs 2108077002 @default.
- W2108077002 citedByCount "32" @default.
- W2108077002 countsByYear W21080770022013 @default.
- W2108077002 countsByYear W21080770022014 @default.
- W2108077002 countsByYear W21080770022018 @default.
- W2108077002 crossrefType "proceedings-article" @default.
- W2108077002 hasAuthorship W2108077002A5028720104 @default.
- W2108077002 hasAuthorship W2108077002A5033952850 @default.
- W2108077002 hasAuthorship W2108077002A5077549627 @default.
- W2108077002 hasConcept C111472728 @default.
- W2108077002 hasConcept C11413529 @default.
- W2108077002 hasConcept C121332964 @default.
- W2108077002 hasConcept C134306372 @default.
- W2108077002 hasConcept C138885662 @default.
- W2108077002 hasConcept C163258240 @default.
- W2108077002 hasConcept C182365436 @default.
- W2108077002 hasConcept C2780586882 @default.
- W2108077002 hasConcept C33923547 @default.
- W2108077002 hasConcept C41008148 @default.
- W2108077002 hasConcept C62520636 @default.
- W2108077002 hasConceptScore W2108077002C111472728 @default.
- W2108077002 hasConceptScore W2108077002C11413529 @default.
- W2108077002 hasConceptScore W2108077002C121332964 @default.
- W2108077002 hasConceptScore W2108077002C134306372 @default.
- W2108077002 hasConceptScore W2108077002C138885662 @default.
- W2108077002 hasConceptScore W2108077002C163258240 @default.
- W2108077002 hasConceptScore W2108077002C182365436 @default.
- W2108077002 hasConceptScore W2108077002C2780586882 @default.
- W2108077002 hasConceptScore W2108077002C33923547 @default.
- W2108077002 hasConceptScore W2108077002C41008148 @default.
- W2108077002 hasConceptScore W2108077002C62520636 @default.
- W2108077002 hasLocation W21080770021 @default.
- W2108077002 hasOpenAccess W2108077002 @default.
- W2108077002 hasPrimaryLocation W21080770021 @default.
- W2108077002 hasRelatedWork W1495086092 @default.
- W2108077002 hasRelatedWork W1602476740 @default.
- W2108077002 hasRelatedWork W1861234251 @default.
- W2108077002 hasRelatedWork W1975335740 @default.
- W2108077002 hasRelatedWork W1994143452 @default.
- W2108077002 hasRelatedWork W2004079116 @default.
- W2108077002 hasRelatedWork W2034173079 @default.
- W2108077002 hasRelatedWork W2080267935 @default.
- W2108077002 hasRelatedWork W2095826301 @default.
- W2108077002 hasRelatedWork W2100083403 @default.
- W2108077002 hasRelatedWork W2108016168 @default.
- W2108077002 hasRelatedWork W2109449313 @default.
- W2108077002 hasRelatedWork W2135453964 @default.
- W2108077002 hasRelatedWork W2141472133 @default.
- W2108077002 hasRelatedWork W2142707936 @default.
- W2108077002 hasRelatedWork W2144491553 @default.
- W2108077002 hasRelatedWork W2146486595 @default.
- W2108077002 hasRelatedWork W2148068842 @default.
- W2108077002 hasRelatedWork W2149479807 @default.
- W2108077002 hasRelatedWork W2155672011 @default.
- W2108077002 isParatext "false" @default.
- W2108077002 isRetracted "false" @default.
- W2108077002 magId "2108077002" @default.
- W2108077002 workType "article" @default.