Sequence of Enumeration of QROBDD - Archive ouverte HAL Access content directly
Other Publications Year : 2004

Sequence of Enumeration of QROBDD

Abstract

The sequence allows the enumeration of quasi-reduced ordered binary decision diagram (QROBDD) canonically associated to boolean functions.
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00081330 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More