FRINK Linked Data Fragments server

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

• W2118235397 endingPage "255" @default.
• W2118235397 startingPage "247" @default.
• W2118235397 abstract "We present a new data structure called edge-valued binary-decision diagrams (EVBDD). An EVBDD is a directed acyclic graph, that provides a canonical and compact representation of functions that involve both Boolean and integer quantities. In general, EVBDDs provide a more versatile and powerful representation than ordinary binary decision diagrams. We first describe the structure and properties of EVBDDs, and present a general algorithm for performing a variety of binary operations. Next, we describe an important extension of EVBDDs, called Structural EVBDDs, and show how they can be used for hierarchical verification." @default.
• W2118235397 created "2016-06-24" @default.
• W2118235397 creator A5030130819 @default.
• W2118235397 creator A5044650311 @default.
• W2118235397 creator A5044905257 @default.
• W2118235397 date "1996-01-01" @default.
• W2118235397 modified "2023-09-25" @default.
• W2118235397 title "Formal verification using edge-valued binary decision diagrams" @default.
• W2118235397 cites W1596186423 @default.
• W2118235397 cites W1967686058 @default.
• W2118235397 cites W1980985059 @default.
• W2118235397 cites W1992006255 @default.
• W2118235397 cites W2010576582 @default.
• W2118235397 cites W2030224590 @default.
• W2118235397 cites W2080267935 @default.
• W2118235397 cites W2085912345 @default.
• W2118235397 cites W2095999202 @default.
• W2118235397 cites W2110210775 @default.
• W2118235397 cites W2113598105 @default.
• W2118235397 cites W2117189826 @default.
• W2118235397 cites W2117811434 @default.
• W2118235397 cites W2118615994 @default.
• W2118235397 cites W2134401100 @default.
• W2118235397 cites W2135453964 @default.
• W2118235397 cites W2137108108 @default.
• W2118235397 cites W2138838211 @default.
• W2118235397 cites W2168881618 @default.
• W2118235397 cites W2171392826 @default.
• W2118235397 doi "https://doi.org/10.1109/12.485378" @default.
• W2118235397 hasPublicationYear "1996" @default.
• W2118235397 type Work @default.
• W2118235397 sameAs 2118235397 @default.
• W2118235397 citedByCount "25" @default.
• W2118235397 countsByYear W21182353972013 @default.
• W2118235397 countsByYear W21182353972014 @default.
• W2118235397 countsByYear W21182353972015 @default.
• W2118235397 countsByYear W21182353972016 @default.
• W2118235397 countsByYear W21182353972018 @default.
• W2118235397 countsByYear W21182353972019 @default.
• W2118235397 countsByYear W21182353972021 @default.
• W2118235397 crossrefType "journal-article" @default.
• W2118235397 hasAuthorship W2118235397A5030130819 @default.
• W2118235397 hasAuthorship W2118235397A5044650311 @default.
• W2118235397 hasAuthorship W2118235397A5044905257 @default.
• W2118235397 hasConcept C11413529 @default.
• W2118235397 hasConcept C158465420 @default.
• W2118235397 hasConcept C162319229 @default.
• W2118235397 hasConcept C17744445 @default.
• W2118235397 hasConcept C187455244 @default.
• W2118235397 hasConcept C196836630 @default.
• W2118235397 hasConcept C199360897 @default.
• W2118235397 hasConcept C199539241 @default.
• W2118235397 hasConcept C2776359362 @default.
• W2118235397 hasConcept C2778029271 @default.
• W2118235397 hasConcept C3309909 @default.
• W2118235397 hasConcept C33923547 @default.
• W2118235397 hasConcept C41008148 @default.
• W2118235397 hasConcept C48372109 @default.
• W2118235397 hasConcept C74197172 @default.
• W2118235397 hasConcept C80444323 @default.
• W2118235397 hasConcept C94375191 @default.
• W2118235397 hasConcept C94625758 @default.
• W2118235397 hasConceptScore W2118235397C11413529 @default.
• W2118235397 hasConceptScore W2118235397C158465420 @default.
• W2118235397 hasConceptScore W2118235397C162319229 @default.
• W2118235397 hasConceptScore W2118235397C17744445 @default.
• W2118235397 hasConceptScore W2118235397C187455244 @default.
• W2118235397 hasConceptScore W2118235397C196836630 @default.
• W2118235397 hasConceptScore W2118235397C199360897 @default.
• W2118235397 hasConceptScore W2118235397C199539241 @default.
• W2118235397 hasConceptScore W2118235397C2776359362 @default.
• W2118235397 hasConceptScore W2118235397C2778029271 @default.
• W2118235397 hasConceptScore W2118235397C3309909 @default.
• W2118235397 hasConceptScore W2118235397C33923547 @default.
• W2118235397 hasConceptScore W2118235397C41008148 @default.
• W2118235397 hasConceptScore W2118235397C48372109 @default.
• W2118235397 hasConceptScore W2118235397C74197172 @default.
• W2118235397 hasConceptScore W2118235397C80444323 @default.
• W2118235397 hasConceptScore W2118235397C94375191 @default.
• W2118235397 hasConceptScore W2118235397C94625758 @default.
• W2118235397 hasIssue "2" @default.
• W2118235397 hasLocation W21182353971 @default.
• W2118235397 hasOpenAccess W2118235397 @default.
• W2118235397 hasPrimaryLocation W21182353971 @default.
• W2118235397 hasRelatedWork W104046019 @default.
• W2118235397 hasRelatedWork W121776107 @default.
• W2118235397 hasRelatedWork W1480394019 @default.
• W2118235397 hasRelatedWork W1581041950 @default.
• W2118235397 hasRelatedWork W2115698906 @default.
• W2118235397 hasRelatedWork W2118235397 @default.
• W2118235397 hasRelatedWork W2376422522 @default.
• W2118235397 hasRelatedWork W3187430668 @default.
• W2118235397 hasRelatedWork W3203050793 @default.
• W2118235397 hasRelatedWork W4300631294 @default.
• W2118235397 hasVolume "45" @default.
• W2118235397 isParatext "false" @default.
• W2118235397 isRetracted "false" @default.
• W2118235397 magId "2118235397" @default.

• next