Boolean functions : theory, algorithms, and applications /
Crama, Yves
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
9780521847513 0521847516
Algebraic functions
Algebra, Boolean
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
9780521847513 0521847516
Algebraic functions
Algebra, Boolean