✦ LIBER ✦

Binary decision diagrams in theory and practice

✍ Scribed by Rolf Drechsler; Detlef Sieling

Publisher: Springer
Year: 2001
Tongue: English
Weight: 447 KB
Volume: 3
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090100056

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Binary Decision Diagrams and neural netw

Binary Decision Diagrams and neural networks

✍ P. W. C. Prasad; Ali Assi; Azam Beg 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 514 KB

Decision making in dune management: theo

Decision making in dune management: theory and practice

✍ P. Davies; A. T. Williams; R. H. F. Curr 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 264 KB

Boolean satisfiability and equivalence c

Boolean satisfiability and equivalence checking using general Binary Decision Diagrams

✍ Pranav Ashar; Abhijit Ghosh; Srinivas Devadas 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 905 KB

Translation among CNFs, characteristic m

Translation among CNFs, characteristic models and ordered binary decision diagrams

✍ Takashi Horiyama; Toshihide Ibaraki 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 118 KB

We consider translation among conjunctive normal forms (CNFs), characteristic models, and ordered binary decision diagrams (OBDDs) of Boolean functions. It is shown in this paper that Horn OBDDs can be translated into their Horn CNFs in polynomial time. As for the opposite direction, the problem can

The theory and practice of clinical deci

The theory and practice of clinical decision-making

✍ Pat Croskerry 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 French ⚖ 99 KB

On random orderings of variables for par

On random orderings of variables for parity ordered binary decision diagrams

✍ Petr Savický 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 93 KB

## Ordered binary decision diagrams (OBDDs) are a model for representing Boolean functions. There is also a more powerful variant called parity OBDDs. The size of the representation of a given function depends in both these models on the chosen ordering of the variables. It is known that there are