✦ LIBER ✦

On the use of binary decision diagrams for solving problems on simple games

✍ Scribed by Rudolf Berghammer; Stefan Bolus

Book ID: 116437033
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 444 KB
Volume: 222
Category: Article
ISSN: 0377-2217
DOI: 10.1016/j.ejor.2012.04.015

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Strategies for solving the Boolean satis

Strategies for solving the Boolean satisfiability problem using binary decision diagrams

✍ Priyank Kalla; Zhihong Zeng; Maciej J. Ciesielski 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 164 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

The use of binary decision diagrams for

The use of binary decision diagrams for the decomposition of programmable logic arrays

✍ P. N. Bibilo; P. V. Leonczyk 📂 Article 📅 2011 🏛 Allerton Press Inc 🌐 English ⚖ 295 KB

On the Descriptive and Algorithmic Power

On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams

✍ Stephan Waack 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 84 KB

On the use of matrices for solving perio

On the use of matrices for solving periodic heat flow problems

✍ White, G. W. T. 📂 Article 📅 1957 🏛 Springer 🌐 English ⚖ 671 KB

A new method for the detections of multi

A new method for the detections of multiple faults using binary decision diagrams

✍ Pan Zhongliang; Chen Ling; Zhang Guangzhao 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 351 KB