Boolean functions : theory, algorithms, and applications /
Yves Crama and Peter L. Hammer
- Cambridge, UK : Cambridge University Press, 2011
- xxi, 687 p. : ill. ; 24 cm.
- Encyclopedia of mathematics and its applications ; 142 .
- Encyclopedia of mathematics and its applications ; 142 .
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