✦ LIBER ✦

On the OBDD-representation of general Boolean functions

✍ Scribed by Heh-Tyan Liaw; Chen-Shang Lin

Book ID: 119771830
Publisher: IEEE
Year: 1992
Tongue: English
Weight: 426 KB
Volume: 41
Category: Article
ISSN: 0018-9340
DOI: 10.1109/12.144618

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

OBDD minimization based on two-level rep

OBDD minimization based on two-level representation of Boolean functions

✍ Yu-Liang Wu; Hongbing Fan; Marek-Sadowska, M.; Wong, C.K. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 273 KB

Representation of partial Boolean functi

Representation of partial Boolean functions

✍ I. I. Brona 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 112 KB

Computation of signal output probability

Computation of signal output probability for Boolean functions represented by OBDD

✍ Yingtao Jiang; Yuke Wang; Xiaoyu Song; Y. Savaria 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 556 KB

In [1] and [2], two algorithms have been proposed to calculate the output probability of Boolean functions represented by OBDDs, assuming that the input variables are equiprobable and each variable is statistically independent from others. In this paper, we point out that under these assumptions,

Representations of Boolean functions

✍ M. I. Tel'piz 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 405 KB

Boolean Representation of Manifolds and

Boolean Representation of Manifolds and Functions

✍ Sergei Ovchinnikov 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 76 KB

On the size of (generalized) OBDDs for t

On the size of (generalized) OBDDs for threshold functions

✍ Beate Bollig 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 154 KB