𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Input impedance of musical horns and the ‘horn function’

✍ Scribed by Noam Amir; Giora Rosenhouse; Uri Shimony

Book ID
107722067
Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
1022 KB
Volume
38
Category
Article
ISSN
0003-682X

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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.