✦ LIBER ✦

Decomposition of systems of Boolean functions determined by binary decision diagrams

✍ Scribed by P. N. Bibilo; P. V. Leonczyk

Book ID: 111454000
Publisher: SP MAIK Nauka/Interperiodica
Year: 2011
Tongue: English
Weight: 518 KB
Volume: 50
Category: Article
ISSN: 1064-2307
DOI: 10.1134/s1064230711030051

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Minimization of binary decision diagrams

Minimization of binary decision diagrams for systems of incompletely defined Boolean functions

✍ Bibilo, P. N. 📂 Article 📅 2013 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 709 KB

Forward and inverse transformations betw

Forward and inverse transformations between Haar spectra and ordered binary decision diagrams of Boolean functions

✍ Falkowski, B.J.; Chip-Hong Chang 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 102 KB

Size of ordered binary decision diagrams

Size of ordered binary decision diagrams representing threshold functions

✍ K. Hosaka; Y. Takenaga; T. Kaneda; S. Yajima 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 956 KB

An ordered binary decision diagram (OBDD) is a graph representation of a Boolean function. In this paper, the size of ordered binary decision diagrams representing threshold functions is discussed. We consider two cases: the case when a variable ordering is given and the case when it is adaptively c

Minimization of pseudo-boolean functions

Minimization of pseudo-boolean functions by binary development

✍ I.G. Rosenberg 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 483 KB

Assessment of Power System Reliability |

Assessment of Power System Reliability || Binary Decision Diagram

✍ Čepin, Marko 📂 Article 📅 2011 🏛 Springer London ⚖ 557 KB

Exact minimisation of path-related objec

Exact minimisation of path-related objective functions for binary decision diagrams

✍ Ebendt, R.; Drechsler, R. 📂 Article 📅 2006 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 313 KB