Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073013179> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2073013179 endingPage "12" @default.
- W2073013179 startingPage "3" @default.
- W2073013179 abstract "(Ordered) binary decision diagrams are a powerful representation for Boolean functions and are widely used in logical synthesis, verification, test pattern generation or as part of CAD tools. NC-algorithms are presented for the most important operations on this representation, e.g. evaluation for a given input, minimization, satisfiability, redundancy test, replacement of variables by constants or functions, equivalence test and synthesis. The algorithms have logarithmic run time on CRCW COMMON PRAMs with a polynomial number of processors." @default.
- W2073013179 created "2016-06-24" @default.
- W2073013179 creator A5030359844 @default.
- W2073013179 creator A5075262791 @default.
- W2073013179 date "1993-03-01" @default.
- W2073013179 modified "2023-09-26" @default.
- W2073013179 title "NC-ALGORITHMS FOR OPERATIONS ON BINARY DECISION DIAGRAMS" @default.
- W2073013179 doi "https://doi.org/10.1142/s0129626493000022" @default.
- W2073013179 hasPublicationYear "1993" @default.
- W2073013179 type Work @default.
- W2073013179 sameAs 2073013179 @default.
- W2073013179 citedByCount "51" @default.
- W2073013179 countsByYear W20730131792012 @default.
- W2073013179 countsByYear W20730131792013 @default.
- W2073013179 countsByYear W20730131792014 @default.
- W2073013179 countsByYear W20730131792015 @default.
- W2073013179 countsByYear W20730131792016 @default.
- W2073013179 countsByYear W20730131792018 @default.
- W2073013179 countsByYear W20730131792021 @default.
- W2073013179 crossrefType "journal-article" @default.
- W2073013179 hasAuthorship W2073013179A5030359844 @default.
- W2073013179 hasAuthorship W2073013179A5075262791 @default.
- W2073013179 hasConcept C11413529 @default.
- W2073013179 hasConcept C118615104 @default.
- W2073013179 hasConcept C168773769 @default.
- W2073013179 hasConcept C17744445 @default.
- W2073013179 hasConcept C187455244 @default.
- W2073013179 hasConcept C199539241 @default.
- W2073013179 hasConcept C2776359362 @default.
- W2073013179 hasConcept C2780069185 @default.
- W2073013179 hasConcept C3309909 @default.
- W2073013179 hasConcept C33923547 @default.
- W2073013179 hasConcept C41008148 @default.
- W2073013179 hasConcept C48372109 @default.
- W2073013179 hasConcept C6943359 @default.
- W2073013179 hasConcept C80444323 @default.
- W2073013179 hasConcept C94375191 @default.
- W2073013179 hasConcept C94625758 @default.
- W2073013179 hasConceptScore W2073013179C11413529 @default.
- W2073013179 hasConceptScore W2073013179C118615104 @default.
- W2073013179 hasConceptScore W2073013179C168773769 @default.
- W2073013179 hasConceptScore W2073013179C17744445 @default.
- W2073013179 hasConceptScore W2073013179C187455244 @default.
- W2073013179 hasConceptScore W2073013179C199539241 @default.
- W2073013179 hasConceptScore W2073013179C2776359362 @default.
- W2073013179 hasConceptScore W2073013179C2780069185 @default.
- W2073013179 hasConceptScore W2073013179C3309909 @default.
- W2073013179 hasConceptScore W2073013179C33923547 @default.
- W2073013179 hasConceptScore W2073013179C41008148 @default.
- W2073013179 hasConceptScore W2073013179C48372109 @default.
- W2073013179 hasConceptScore W2073013179C6943359 @default.
- W2073013179 hasConceptScore W2073013179C80444323 @default.
- W2073013179 hasConceptScore W2073013179C94375191 @default.
- W2073013179 hasConceptScore W2073013179C94625758 @default.
- W2073013179 hasIssue "01" @default.
- W2073013179 hasLocation W20730131791 @default.
- W2073013179 hasOpenAccess W2073013179 @default.
- W2073013179 hasPrimaryLocation W20730131791 @default.
- W2073013179 hasRelatedWork W1499470128 @default.
- W2073013179 hasRelatedWork W1554387452 @default.
- W2073013179 hasRelatedWork W1589254173 @default.
- W2073013179 hasRelatedWork W2047591646 @default.
- W2073013179 hasRelatedWork W2104115705 @default.
- W2073013179 hasRelatedWork W2624368008 @default.
- W2073013179 hasRelatedWork W26699607 @default.
- W2073013179 hasRelatedWork W3142296598 @default.
- W2073013179 hasRelatedWork W4299734787 @default.
- W2073013179 hasRelatedWork W2584649593 @default.
- W2073013179 hasVolume "03" @default.
- W2073013179 isParatext "false" @default.
- W2073013179 isRetracted "false" @default.
- W2073013179 magId "2073013179" @default.
- W2073013179 workType "article" @default.