Boolean Functions - Theory, Algorithms, and Applications

Part I. Foundations: 1. Fundamental concepts and applications 2. Boolean equations 3. Prime implicants and minimal DNFs Peter L. Hammer and Alexander Kogan 4. Duality theory Yves Crama and Kazuhisa Makino Part II. Special Classes: 5. Quadratic functions Bruno Simeone 6. Horn functions Endre Boros 7. Orthogonal forms and shellability 8. Regular functions 9. Threshold functions 10. Read-once functions Martin C. Golumbic and Vladimir Gurvich 11. Characterizations of special classes by functional equations Lisa Hellerstein Part III. Generalizations: 12. Partially defined Boolean functions Toshihide Ibaraki 13. Pseudo-Boolean functions Appendix A. Graphs and hypergraphs Appendix B. Algorithmic complexity Appendix C. JBool: a software tool Claude Benzaken and Nadia Brauner.