Sequence of Enumeration of QROBDD

Abstract : The sequence allows the enumeration of quasi-reduced ordered binary decision diagram (QROBDD) canonically associated to boolean functions.
Document type :
Other publications
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00081330
Contributor : Jean-Baptiste Yunès <>
Submitted on : Thursday, June 22, 2006 - 5:32:33 PM
Last modification on : Tuesday, February 5, 2019 - 11:44:21 AM

Identifiers

  • HAL Id : hal-00081330, version 1

Citation

Jean-Baptiste Yunès, Jean-Francis Michon, Pierre Valarcher. Sequence of Enumeration of QROBDD. 2004. ⟨hal-00081330⟩

Share

Metrics

Record views

61