Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010017150> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2010017150 abstract "We present two techniques for compaction of ROBDDs. The first technique extracts isomorphic subtrees from a characteristic function ROBDD (cfBDD), replaces them by multi-output nodes, and stores the extracted subtrees as MTBDDs. The second technique searches pre-defined topological structures (signatures) within the cfBDD and replaces them by multi-output nodes. While both approaches are able to extract isomporphic subtrees in the cfBDD, the signature scanning approach gives a significantly better compression and reduces the simulation time as compared to cfBDD simulation, which shows that is possible to compress BDDs and yet simulate them faster." @default.
- W2010017150 created "2016-06-24" @default.
- W2010017150 creator A5008983984 @default.
- W2010017150 creator A5033329960 @default.
- W2010017150 creator A5063028531 @default.
- W2010017150 date "1999-01-01" @default.
- W2010017150 modified "2023-09-26" @default.
- W2010017150 title "Exploiting isomorphism for compaction and faster simulation of binary decision diagrams" @default.
- W2010017150 cites W1967364882 @default.
- W2010017150 cites W2010935983 @default.
- W2010017150 cites W2011039300 @default.
- W2010017150 cites W2030224590 @default.
- W2010017150 cites W2118400209 @default.
- W2010017150 cites W2124899825 @default.
- W2010017150 cites W2127271657 @default.
- W2010017150 cites W2138838211 @default.
- W2010017150 cites W2145785237 @default.
- W2010017150 cites W2157099947 @default.
- W2010017150 cites W2167435507 @default.
- W2010017150 cites W3198192512 @default.
- W2010017150 cites W189860837 @default.
- W2010017150 cites W2002252750 @default.
- W2010017150 cites W2891212941 @default.
- W2010017150 doi "https://doi.org/10.1109/icvd.1999.745173" @default.
- W2010017150 hasPublicationYear "1999" @default.
- W2010017150 type Work @default.
- W2010017150 sameAs 2010017150 @default.
- W2010017150 citedByCount "0" @default.
- W2010017150 crossrefType "proceedings-article" @default.
- W2010017150 hasAuthorship W2010017150A5008983984 @default.
- W2010017150 hasAuthorship W2010017150A5033329960 @default.
- W2010017150 hasAuthorship W2010017150A5063028531 @default.
- W2010017150 hasConcept C11413529 @default.
- W2010017150 hasConcept C114614502 @default.
- W2010017150 hasConcept C115624301 @default.
- W2010017150 hasConcept C14036430 @default.
- W2010017150 hasConcept C159985019 @default.
- W2010017150 hasConcept C162319229 @default.
- W2010017150 hasConcept C180016635 @default.
- W2010017150 hasConcept C184720557 @default.
- W2010017150 hasConcept C185592680 @default.
- W2010017150 hasConcept C192562407 @default.
- W2010017150 hasConcept C196715460 @default.
- W2010017150 hasConcept C199360897 @default.
- W2010017150 hasConcept C203436722 @default.
- W2010017150 hasConcept C2524010 @default.
- W2010017150 hasConcept C2779696439 @default.
- W2010017150 hasConcept C3309909 @default.
- W2010017150 hasConcept C33923547 @default.
- W2010017150 hasConcept C41008148 @default.
- W2010017150 hasConcept C48372109 @default.
- W2010017150 hasConcept C78458016 @default.
- W2010017150 hasConcept C8010536 @default.
- W2010017150 hasConcept C80444323 @default.
- W2010017150 hasConcept C86803240 @default.
- W2010017150 hasConcept C94375191 @default.
- W2010017150 hasConceptScore W2010017150C11413529 @default.
- W2010017150 hasConceptScore W2010017150C114614502 @default.
- W2010017150 hasConceptScore W2010017150C115624301 @default.
- W2010017150 hasConceptScore W2010017150C14036430 @default.
- W2010017150 hasConceptScore W2010017150C159985019 @default.
- W2010017150 hasConceptScore W2010017150C162319229 @default.
- W2010017150 hasConceptScore W2010017150C180016635 @default.
- W2010017150 hasConceptScore W2010017150C184720557 @default.
- W2010017150 hasConceptScore W2010017150C185592680 @default.
- W2010017150 hasConceptScore W2010017150C192562407 @default.
- W2010017150 hasConceptScore W2010017150C196715460 @default.
- W2010017150 hasConceptScore W2010017150C199360897 @default.
- W2010017150 hasConceptScore W2010017150C203436722 @default.
- W2010017150 hasConceptScore W2010017150C2524010 @default.
- W2010017150 hasConceptScore W2010017150C2779696439 @default.
- W2010017150 hasConceptScore W2010017150C3309909 @default.
- W2010017150 hasConceptScore W2010017150C33923547 @default.
- W2010017150 hasConceptScore W2010017150C41008148 @default.
- W2010017150 hasConceptScore W2010017150C48372109 @default.
- W2010017150 hasConceptScore W2010017150C78458016 @default.
- W2010017150 hasConceptScore W2010017150C8010536 @default.
- W2010017150 hasConceptScore W2010017150C80444323 @default.
- W2010017150 hasConceptScore W2010017150C86803240 @default.
- W2010017150 hasConceptScore W2010017150C94375191 @default.
- W2010017150 hasLocation W20100171501 @default.
- W2010017150 hasOpenAccess W2010017150 @default.
- W2010017150 hasPrimaryLocation W20100171501 @default.
- W2010017150 hasRelatedWork W1581041950 @default.
- W2010017150 hasRelatedWork W1587385873 @default.
- W2010017150 hasRelatedWork W2010017150 @default.
- W2010017150 hasRelatedWork W2115698906 @default.
- W2010017150 hasRelatedWork W2140190779 @default.
- W2010017150 hasRelatedWork W2145951394 @default.
- W2010017150 hasRelatedWork W2159385644 @default.
- W2010017150 hasRelatedWork W2405617830 @default.
- W2010017150 hasRelatedWork W3203050793 @default.
- W2010017150 hasRelatedWork W2112121293 @default.
- W2010017150 isParatext "false" @default.
- W2010017150 isRetracted "false" @default.
- W2010017150 magId "2010017150" @default.
- W2010017150 workType "article" @default.