✦ LIBER ✦

Horn functions and their DNFs

✍ Scribed by Peter L. Hammer; Alexander Kogan

Book ID: 107766088
Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 666 KB
Volume: 44
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(92)90250-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On renamable Horn and generalized Horn f

On renamable Horn and generalized Horn functions

✍ Vijaya Chandru; Collette R. Coullard; Peter L. Hammer; Miguel Montañez; Xiaorong 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 758 KB

Horn functions and submodular boolean fu

Horn functions and submodular boolean functions

✍ Oya Ekin; Peter L. Hammer; Uri N. Peled 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 953 KB

After providing a simple characterization of Horn functions (i.e., those Boolean functions that have a Horn DNF), we study in detail the special class of submodular functions. Every prime implicant of such a function involves at most one complemented and at most one uncomplemented variable, and base

Deer and their Horns

✍ FAYRER, J. 📂 Article 📅 1883 🏛 Nature Publishing Group 🌐 English ⚖ 159 KB

Input impedance of musical horns and the

Input impedance of musical horns and the ‘horn function’

✍ Noam Amir; Giora Rosenhouse; Uri Shimony 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 1022 KB

Inferring Minimal Functional Dependencie

Inferring Minimal Functional Dependencies in Horn and q-Horn Theories

✍ Toshihide Ibaraki; Alexander Kogan; Kazuhisa Makino 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 170 KB

Recognition and dualization of disguised

Recognition and dualization of disguised bidual Horn functions

✍ Thomas Eiter; Toshihide Ibaraki; Kazuhisa Makino 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 109 KB

We consider the problem of dualizing a Boolean function f given by CNF, i.e., computing a CNF for its dual f d . While this problem is not solvable in quasi-polynomial total time in general (unless SAT is solvable in quasi-polynomial time), it is so in case the input belongs to special classes, e.g.