✦ LIBER ✦

OBDD minimization based on two-level representation of Boolean functions

✍ Scribed by Yu-Liang Wu; Hongbing Fan; Marek-Sadowska, M.; Wong, C.K.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the OBDD-representation of general Bo

✍ Heh-Tyan Liaw; Chen-Shang Lin 📂 Article 📅 1992 🏛 IEEE 🌐 English ⚖ 426 KB

A two-level system of knowledge represen

✍ Henry E. Kyburg 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 542 KB

Two-Level Hardware Function Evaluation B

✍ Shen-Fu Hsiao; Hou-Jen Ko; Chia-Sheng Wen 📂 Article 📅 2012 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 849 KB

Digital spectral analysis based on sign

✍ V. N. Yakimov 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 202 KB