✦ LIBER ✦

Exploiting Regularities for Boolean Function Synthesis

✍ Scribed by Anna Bernasconi; Valentina Ciriani; Fabrizio Luccio; Linda Pagli

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Dualization of regular Boolean functions

✍ Y. Crama 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 419 KB

Exploiting communication complexity for

✍ Kuo-Hua Wang; TingTing Hwang; Cheng Chen 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 912 KB

Exploiting Functional Properties of Bool

✍ Bernd Steinbach; Christian Lang 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 227 KB

Synthesis procedure for Â¿-symmetric boo

✍ Kekre, H.B.; Sahasrabudhe, S.C.; Rama Rao, V. 📂 Article 📅 1980 🏛 The Institution of Electrical Engineers ⚖ 346 KB

Criterion for detection of regularities

✍ L. A. Zavadskaya; L. V. Khomenko 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 228 KB

Exploiting Symmetries to Speed Up SAT-Ba

✍ Yu Hu; Shih, V.; Majumdar, R.; Lei He 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 731 KB