Sequence of Enumeration of QROBDD
Résumé
The sequence allows the enumeration of quasi-reduced ordered binary decision diagram (QROBDD) canonically associated to boolean functions.
Autre Publication Scientifique
Année : 2004
Jean-Baptiste Yunès : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00081330
Soumis le : jeudi 22 juin 2006-17:32:33
Dernière modification le : vendredi 24 mars 2023-14:52:47
Dates et versions
Identifiants
- HAL Id : hal-00081330 , version 1
Citer
Jean-Baptiste Yunès, Jean-Francis Michon, Pierre Valarcher. Sequence of Enumeration of QROBDD. 2004. ⟨hal-00081330⟩
Collections
62
Consultations
0
Téléchargements