default search action
Boolean Models and Methods 2010
- Yves Crama
, Peter L. Hammer:
Boolean Models and Methods in Mathematics, Computer Science, and Engineering. Cambridge University Press 2010, ISBN 9780511780448 - Preface. vii-viii
- Boolean Models and Methods in Mathematics, Computer Science, and Engineering. xix-xx
- Introduction. ix-xii
- Reinhard Pöschel, Ivo G. Rosenberg, Yves Crama, Peter L. Hammer:
Compositions and Clones of Boolean Functions. 3-38 - Jan C. Bioch, Yves Crama, Peter L. Hammer:
Decomposition of Boolean Functions. 39-76 - Alasdair Urquhart, Yves Crama, Peter L. Hammer:
Proof Theory. 79-98 - John Franco, Yves Crama, Peter L. Hammer:
Probabilistic Analysis of Satisfiability Algorithms. 99-159 - John N. Hooker, Yves Crama, Peter L. Hammer:
Optimization Methods in Logic. 160-194 - Martin Anthony, Yves Crama, Peter L. Hammer:
Probabilistic Learning and Boolean Functions. 197-220 - Robert H. Sloan, Balázs Szörényi, György Turán, Yves Crama, Peter L. Hammer:
Learning Boolean Functions with Queries. 221-256 - Claude Carlet, Yves Crama, Peter L. Hammer:
Boolean Functions for Cryptography and Error-Correcting Codes. 257-397 - Claude Carlet, Yves Crama, Peter L. Hammer:
Vectorial Boolean Functions for Cryptography. 398-470 - Beate Bollig, Martin Sauerhoff, Detlef Sieling, Ingo Wegener, Yves Crama, Peter L. Hammer:
Binary Decision Diagrams. 473-505 - Matthias Krause, Ingo Wegener, Yves Crama, Peter L. Hammer:
Circuit Complexity. 506-530 - Jehoshua Bruck, Yves Crama, Peter L. Hammer:
Fourier Transforms and Threshold Circuit Complexity. 531-553 - Martin Anthony, Yves Crama, Peter L. Hammer:
Neural Networks and Boolean Functions. 554-576 - Martin Anthony, Yves Crama, Peter L. Hammer:
Decision Lists and Related Classes of Boolean Functions. 577-596 - Jie-Hong Roland Jiang, Tiziano Villa, Yves Crama, Peter L. Hammer:
Hardware Equivalence and Property Verification. 599-674 - Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Yves Crama, Peter L. Hammer:
Synthesis of Multilevel Boolean Networks. 675-722 - Charles J. Colbourn, Yves Crama, Peter L. Hammer:
Boolean Aspects of Network Reliability. 723-759
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: