Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080267935> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2080267935 endingPage "691" @default.
- W2080267935 startingPage "677" @default.
- W2080267935 abstract "In this paper we present a new data structure for representing Boolean functions and an associated set of manipulation algorithms. Functions are represented by directed, acyclic graphs in a manner similar to the representations introduced by Lee [1] and Akers [2], but with further restrictions on the ordering of decision variables in the graph. Although a function requires, in the worst case, a graph of size exponential in the number of arguments, many of the functions encountered in typical applications have a more reasonable representation. Our algorithms have time complexity proportional to the sizes of the graphs being operated on, and hence are quite efficient as long as the graphs do not grow too large. We present experimental results from applying these algorithms to problems in logic design verification that demonstrate the practicality of our approach." @default.
- W2080267935 created "2016-06-24" @default.
- W2080267935 creator A5054711866 @default.
- W2080267935 date "1986-08-01" @default.
- W2080267935 modified "2023-10-14" @default.
- W2080267935 title "Graph-Based Algorithms for Boolean Function Manipulation" @default.
- W2080267935 cites W1584887677 @default.
- W2080267935 cites W1983849809 @default.
- W2080267935 cites W1994143452 @default.
- W2080267935 cites W2014631522 @default.
- W2080267935 cites W2023199338 @default.
- W2080267935 cites W2053619330 @default.
- W2080267935 cites W2080085596 @default.
- W2080267935 cites W2099251677 @default.
- W2080267935 cites W2105761964 @default.
- W2080267935 cites W2133431834 @default.
- W2080267935 cites W2165495918 @default.
- W2080267935 doi "https://doi.org/10.1109/tc.1986.1676819" @default.
- W2080267935 hasPublicationYear "1986" @default.
- W2080267935 type Work @default.
- W2080267935 sameAs 2080267935 @default.
- W2080267935 citedByCount "7981" @default.
- W2080267935 countsByYear W20802679352012 @default.
- W2080267935 countsByYear W20802679352013 @default.
- W2080267935 countsByYear W20802679352014 @default.
- W2080267935 countsByYear W20802679352015 @default.
- W2080267935 countsByYear W20802679352016 @default.
- W2080267935 countsByYear W20802679352017 @default.
- W2080267935 countsByYear W20802679352018 @default.
- W2080267935 countsByYear W20802679352019 @default.
- W2080267935 countsByYear W20802679352020 @default.
- W2080267935 countsByYear W20802679352021 @default.
- W2080267935 countsByYear W20802679352022 @default.
- W2080267935 countsByYear W20802679352023 @default.
- W2080267935 crossrefType "journal-article" @default.
- W2080267935 hasAuthorship W2080267935A5054711866 @default.
- W2080267935 hasBestOaLocation W20802679352 @default.
- W2080267935 hasConcept C11413529 @default.
- W2080267935 hasConcept C132525143 @default.
- W2080267935 hasConcept C134306372 @default.
- W2080267935 hasConcept C141796577 @default.
- W2080267935 hasConcept C151376022 @default.
- W2080267935 hasConcept C187455244 @default.
- W2080267935 hasConcept C196836630 @default.
- W2080267935 hasConcept C33923547 @default.
- W2080267935 hasConcept C41008148 @default.
- W2080267935 hasConcept C80444323 @default.
- W2080267935 hasConceptScore W2080267935C11413529 @default.
- W2080267935 hasConceptScore W2080267935C132525143 @default.
- W2080267935 hasConceptScore W2080267935C134306372 @default.
- W2080267935 hasConceptScore W2080267935C141796577 @default.
- W2080267935 hasConceptScore W2080267935C151376022 @default.
- W2080267935 hasConceptScore W2080267935C187455244 @default.
- W2080267935 hasConceptScore W2080267935C196836630 @default.
- W2080267935 hasConceptScore W2080267935C33923547 @default.
- W2080267935 hasConceptScore W2080267935C41008148 @default.
- W2080267935 hasConceptScore W2080267935C80444323 @default.
- W2080267935 hasIssue "8" @default.
- W2080267935 hasLocation W20802679351 @default.
- W2080267935 hasLocation W20802679352 @default.
- W2080267935 hasLocation W20802679353 @default.
- W2080267935 hasOpenAccess W2080267935 @default.
- W2080267935 hasPrimaryLocation W20802679351 @default.
- W2080267935 hasRelatedWork W1976822807 @default.
- W2080267935 hasRelatedWork W2060171268 @default.
- W2080267935 hasRelatedWork W2062972911 @default.
- W2080267935 hasRelatedWork W2063425181 @default.
- W2080267935 hasRelatedWork W2150974517 @default.
- W2080267935 hasRelatedWork W2246807618 @default.
- W2080267935 hasRelatedWork W2516690985 @default.
- W2080267935 hasRelatedWork W2728195892 @default.
- W2080267935 hasRelatedWork W3029381898 @default.
- W2080267935 hasRelatedWork W3144510369 @default.
- W2080267935 hasVolume "C-35" @default.
- W2080267935 isParatext "false" @default.
- W2080267935 isRetracted "false" @default.
- W2080267935 magId "2080267935" @default.
- W2080267935 workType "article" @default.