TY - BOOK AU - Crama,Yves AU - Hammer,Peter L. TI - Boolean functions: theory, algorithms, and applications T2 - Encyclopedia of mathematics and its applications SN - 9780521847513 PY - 2011/// CY - Cambridge, UK PB - Cambridge University Press KW - Algebraic functions KW - Algebra, Boolean N1 - Includes bibliographical references and index; Fundamental concepts and applications -- Boolean equations -- Prime implicants and minimal DNFs / Peter L. Hammer and Alexander Kogan -- Duality theory / Yves Crama and Kazuhisa Makino -- Quadratic functions / Bruno Simeone -- Horn functions / Endre Boros -- Orthogonal forms and shellability -- Regular functions -- Threshold functions -- Red-once functions / Martin C. Golumbic and Vladimir Gurvich -- Characterizations of special classes by functional equations / Lisa Hellerstein -- Partially defined Boolean functions / Toshihide Ibaraki -- Pseudo-Boolean functions -- Graphs and hypergraphs -- Algorithmic complexity -- JBool : a software tool / Claude Benzaken and Nadia Brauner ER -