Crama Y., Hammer P. Boolean Models and Methods in Mathematics,...2010

Textbook in PDF format

This collection of papers presents a series of in-depth examinations on a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory.
Acknowledgements
Acronyms and Abbreviations
Algebraic Structures
Compositions and clones of Boolean functions
Decomposition of Boolean functions
Logic
Proof theory
Probabilistic analysis of satisfiability algorithms
Optimization methods in logic
Learning Theory and Cryptography
Probabilistic learning and Boolean functions
Learning Boolean functions with queries
Boolean functions for cryptography and error-correcting codes
Vectorial Boolean functions for cryptography
Graph Representations and Efficient Computation Models
Binary decision diagrams
Circuit complexity
Fourier transforms and threshold circuit complexity
Neural networks and Boolean functions
Decision lists and related classes of Boolean functions
Applications in Engineering
Hardware equivalence and property verification
Synthesis of multi-level Boolean networks
Boolean aspects of network reliability