Boolean Models and Methods in Mathematics, Computer Science, and Engineering

Book Details

Author

Language

Pages

Size

Format

Boolean Models and Methods in Mathematics, Computer Science, and Engineering

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

Related Books

What's the problem with this file?

There is a temporary issue with downloading files and we are working on.
In the meantime, we appreciate your patience.