著者紹介

内容

目次

Part I. Algebraic Structures: 1. Compositions and clones of Booleanfunctions Reinhard Poschel and Ivo Rosenberg; 2. Decomposition of Booleanfunctions Jan C. Bioch; Part II. Logic: 3. Proof theory Alasdair Urquhart; 4.Probabilistic analysis of satisfiability algorithms John Franco; 5.Optimization methods in logic John Hooker; Part III. Learning Theory andCryptography: 6. Probabilistic learning and Boolean functions Martin Anthony;7. Learning Boolean functions with queries Robert H. Sloan, Balazs Szorenyiand Gyorgy Turan; 8. Boolean functions for cryptography and error-correctingcodes Claude Carlet; 9. Vectorial Boolean functions for cryptography ClaudeCarlet; Part IV. Graph Representations and Efficient Computation Models: 10.Binary decision diagrams Beate Bollig, Martin Sauerhoff, Detlef Sieling andIngo Wegener; 11. Circuit complexity Matthias Krause and Ingo Wegener; 12.Fourier transforms and threshold circuit complexity Jehoshua Bruck; 13.Neural networks and Boolean functions Martin Anthony; 14. Decision lists andrelated classes of Boolean functions Martin Anthony; Part V. Applications inEngineering: 15. Hardware equivalence and property verification J. H. RolandJiang and Tiziano Villa; 16. Synthesis of multi-level Boolean networksTiziano Villa, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli; 17.Boolean aspects of network reliability Charles J. Colbourn.