Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2019

Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams

Diagramme de Décision Fonctionel: Une Structure de Donnée Unifiante pour les Diagrammes de Décision Binaires

Fichier principal
Vignette du fichier
RT-0507.pdf (2.04 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02369112 , version 1 (18-11-2019)
hal-02369112 , version 2 (26-11-2019)
hal-02369112 , version 3 (29-11-2019)

Identifiants

  • HAL Id : hal-02369112 , version 1

Citer

Joan Thibault, Khalil Ghorbal. Functional Decision Diagrams: A Unifying Data Structure For Binary Decision Diagrams. [Research Report] INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2019. ⟨hal-02369112v1⟩
374 Consultations
656 Téléchargements

Partager

More