Matches in SemOpenAlex for { <https://semopenalex.org/work/W3044288516> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3044288516 abstract "We introduce a novel framework, termed $lambda$DD, that revisits Binary Decision Diagrams from a purely functional point of view. The framework allows to classify the already existing variants, including the most recent ones like Chain-DD and ESRBDD, as implementations of a special class of ordered models. We enumerate, in a principled way, all the models of this class and isolate its most expressive model. This new model, termed $lambda$DD-O-NUCX, is suitable for both dense and sparse Boolean functions, and is moreover invariant by negation. The canonicity of $lambda$DD-O-NUCX is formally verified using the Coq proof assistant. We furthermore give bounds on the size of the different diagrams: the potential gain achieved by more expressive models can be at most linear in the number of variables n." @default.
- W3044288516 created "2020-07-29" @default.
- W3044288516 creator A5071004982 @default.
- W3044288516 creator A5088719419 @default.
- W3044288516 date "2020-03-20" @default.
- W3044288516 modified "2023-09-25" @default.
- W3044288516 title "Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams" @default.
- W3044288516 cites W1487965496 @default.
- W3044288516 cites W1975335740 @default.
- W3044288516 cites W2040817434 @default.
- W3044288516 cites W2080267935 @default.
- W3044288516 cites W2095826301 @default.
- W3044288516 cites W2106576948 @default.
- W3044288516 cites W2124679800 @default.
- W3044288516 cites W212786159 @default.
- W3044288516 cites W2133491672 @default.
- W3044288516 cites W2288759306 @default.
- W3044288516 cites W2752853835 @default.
- W3044288516 cites W2935632405 @default.
- W3044288516 cites W2963731580 @default.
- W3044288516 cites W3139969152 @default.
- W3044288516 cites W2963971337 @default.
- W3044288516 hasPublicationYear "2020" @default.
- W3044288516 type Work @default.
- W3044288516 sameAs 3044288516 @default.
- W3044288516 citedByCount "0" @default.
- W3044288516 crossrefType "posted-content" @default.
- W3044288516 hasAuthorship W3044288516A5071004982 @default.
- W3044288516 hasAuthorship W3044288516A5088719419 @default.
- W3044288516 hasConcept C11413529 @default.
- W3044288516 hasConcept C118615104 @default.
- W3044288516 hasConcept C154945302 @default.
- W3044288516 hasConcept C184337299 @default.
- W3044288516 hasConcept C190470478 @default.
- W3044288516 hasConcept C199360897 @default.
- W3044288516 hasConcept C2185349 @default.
- W3044288516 hasConcept C26713055 @default.
- W3044288516 hasConcept C2777212361 @default.
- W3044288516 hasConcept C3309909 @default.
- W3044288516 hasConcept C33923547 @default.
- W3044288516 hasConcept C37914503 @default.
- W3044288516 hasConcept C41008148 @default.
- W3044288516 hasConcept C80444323 @default.
- W3044288516 hasConceptScore W3044288516C11413529 @default.
- W3044288516 hasConceptScore W3044288516C118615104 @default.
- W3044288516 hasConceptScore W3044288516C154945302 @default.
- W3044288516 hasConceptScore W3044288516C184337299 @default.
- W3044288516 hasConceptScore W3044288516C190470478 @default.
- W3044288516 hasConceptScore W3044288516C199360897 @default.
- W3044288516 hasConceptScore W3044288516C2185349 @default.
- W3044288516 hasConceptScore W3044288516C26713055 @default.
- W3044288516 hasConceptScore W3044288516C2777212361 @default.
- W3044288516 hasConceptScore W3044288516C3309909 @default.
- W3044288516 hasConceptScore W3044288516C33923547 @default.
- W3044288516 hasConceptScore W3044288516C37914503 @default.
- W3044288516 hasConceptScore W3044288516C41008148 @default.
- W3044288516 hasConceptScore W3044288516C80444323 @default.
- W3044288516 hasLocation W30442885161 @default.
- W3044288516 hasOpenAccess W3044288516 @default.
- W3044288516 hasPrimaryLocation W30442885161 @default.
- W3044288516 hasRelatedWork W126976627 @default.
- W3044288516 hasRelatedWork W1501048703 @default.
- W3044288516 hasRelatedWork W1573066886 @default.
- W3044288516 hasRelatedWork W1584475357 @default.
- W3044288516 hasRelatedWork W1608602267 @default.
- W3044288516 hasRelatedWork W1658292375 @default.
- W3044288516 hasRelatedWork W2023861274 @default.
- W3044288516 hasRelatedWork W2052728298 @default.
- W3044288516 hasRelatedWork W2096619922 @default.
- W3044288516 hasRelatedWork W2132360722 @default.
- W3044288516 hasRelatedWork W2293188203 @default.
- W3044288516 hasRelatedWork W2294449527 @default.
- W3044288516 hasRelatedWork W2809754822 @default.
- W3044288516 hasRelatedWork W28931835 @default.
- W3044288516 hasRelatedWork W2950970865 @default.
- W3044288516 hasRelatedWork W2952230935 @default.
- W3044288516 hasRelatedWork W3114657538 @default.
- W3044288516 hasRelatedWork W3140878249 @default.
- W3044288516 hasRelatedWork W3145886794 @default.
- W3044288516 hasRelatedWork W15992309 @default.
- W3044288516 isParatext "false" @default.
- W3044288516 isRetracted "false" @default.
- W3044288516 magId "3044288516" @default.
- W3044288516 workType "article" @default.