Sequence of Enumeration of QROBDD - Archive ouverte HAL Accéder directement au contenu
Autre Publication Scientifique Année : 2004

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.
Fichier non déposé

Dates et versions

hal-00081330 , version 1 (22-06-2006)

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⟩
44 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More