Problems and new solutions in the boolean domain / edited by Bernd Steinbach.

Includes bibliographical references (pages [384]-422) and index.

I Methods, Algorithms, and Programs -- General methods -- Efficient calculations -- II Applications -- Several aspects of security -- Exploration of properties -- III Towards Future Technologies -- Reversible circuits -- Quantum circuitsA vector space method for Boolean switching networks /Mitchell A. Thornton -- Solving combinatorial problems using Boolean equations /Christian Posthoff, Bernd Steinbach -- Simplification of extremely large expressions /Ben Ruijl, Jos Vermaseren, Aske Plaat, Jaap van den Herik -- A novel approach of polynomial expansions of symmetric functions /Danila A. Gorodecky -- XBOOLE-CUDA : fast calculations of large Boolean problems on the GPU /Bernd Steinbach, Matthias Werner -- Efficient computing of the Gibbs dyadic derivatives /Radomir S. Stanković, Dusan Gajić, Suzana Stojković, Milos Radmanović -- Understanding the performance of randomized algorithms /Jan Schmidt, Rudolf B. Blažek, Petr Fišer -- Fast network intrusion detection systems with high maintaina ...