PDF Free Download | Boolean Models and Methods in Mathematics, Computer Science, and Engineering by Yves Crama and Peter L. Hammer
Contents of Boolean Models and Methods in Mathematics, Computer Science, and Engineering
- Part I Algebraic Structures
- Compositions and Clones of Boolean Functions
- Decomposition of Boolean Functions
- Part II Logic
- Proof Theory
- Probabilistic Analysis of Satisfiability Algorithms
- Optimization Methods in Logic
- Part III 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
- Part IV Graph Representations and Efficient
- Computation Models
- Binary Decision Diagrams
- Circuit Complexity
- Matthias Krause and Ingo Wegener
- Fourier Transforms and Threshold Circuit Complexity
- Neural Networks and Boolean Functions
- Decision Lists and Related Classes of Boolean Functions
- Part V Applications in Engineering
- Hardware Equivalence and Property Verification
- Synthesis of Multilevel Boolean Networks
- Boolean Aspects of Network Reliability