✦ LIBER ✦

A rewriting approach to binary decision diagrams

✍ Scribed by Hans Zantema; Jaco van de Pol

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Variable ordering for ordered binary dec

✍ Yeh, F.-M.; Kuo, S.-Y. 📂 Article 📅 1997 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 684 KB

Using ordered binary decision diagrams t

✍ Pei-Yung Hsiao; Ruey-Tzer Liaw; Jeong-Yuan Su 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 756 KB

A rewriting approach to satisfiability p

✍ Alessandro Armando; Silvio Ranise; Michaël Rusinowitch 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 285 KB

A Unifying Approach to Edge-valued and A

✍ C. Moraga; T. Sasao; R. Stanković 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 188 KB

Introduction to the Special Issue on Mul

✍ M. Fujita; P.C. McGeer 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 37 KB

An Efficient Binary-Decision-Diagram-Bas

✍ Liudong Xing 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 733 KB