Sequence of Enumeration of QROBDD

Abstract : The sequence allows the enumeration of quasi-reduced ordered binary decision diagram (QROBDD) canonically associated to boolean functions.
Type de document :
Autre publication
Internet database. 2004
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00081330
Contributeur : Jean-Baptiste Yunès <>
Soumis le : jeudi 22 juin 2006 - 17:32:33
Dernière modification le : jeudi 15 novembre 2018 - 20:26:56

Identifiants

  • HAL Id : hal-00081330, version 1

Citation

Jean-Baptiste Yunès, Jean-Francis Michon, Pierre Valarcher. Sequence of Enumeration of QROBDD. Internet database. 2004. 〈hal-00081330〉

Partager

Métriques

Consultations de la notice

59