Coverart for item
The Resource Boolean functions : theory, algorithms, and applications, Yves Crama, Peter L. Hammer, (electronic resource)

Boolean functions : theory, algorithms, and applications, Yves Crama, Peter L. Hammer, (electronic resource)

Label
Boolean functions : theory, algorithms, and applications
Title
Boolean functions
Title remainder
theory, algorithms, and applications
Statement of responsibility
Yves Crama, Peter L. Hammer
Creator
Contributor
Subject
Genre
Language
eng
Summary
"Written by prominent experts in the field, this monograph provides the first comprehensive and unified presentation of the structural, algorithmic, and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. It presents with in this framework the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an indepth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations), and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form forthe first time. Because of the unique depth and breadth of the unified treatment that it provides and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering, and economics"--
Member of
Assigning source
Provided by publisher
Cataloging source
MiAaPQ
http://library.link/vocab/creatorDate
1958-
http://library.link/vocab/creatorName
Crama, Yves
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1936-2006
http://library.link/vocab/relatedWorkOrContributorName
  • Hammer, P. L.
  • ProQuest (Firm)
Series statement
Encyclopedia of mathematics and its applications
Series volume
142
http://library.link/vocab/subjectName
  • Algebraic functions
  • Algebra, Boolean
Label
Boolean functions : theory, algorithms, and applications, Yves Crama, Peter L. Hammer, (electronic resource)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
pt. 1. Foundations -- pt. 2. Special classes -- pt. 3. Generalizations
Control code
EBC691797
Dimensions
unknown
Extent
xxi, 687 p.
Form of item
  • online
  • electronic
Other physical details
ill
Reproduction note
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries
Specific material designation
remote
System control number
  • (MiAaPQ)EBC691797
  • (Au-PeEL)EBL691797
  • (CaPaEBR)ebr10476490
  • (CaONFJC)MIL312720
  • (OCoLC)735593475
Label
Boolean functions : theory, algorithms, and applications, Yves Crama, Peter L. Hammer, (electronic resource)
Publication
Bibliography note
Includes bibliographical references and index
Color
multicolored
Contents
pt. 1. Foundations -- pt. 2. Special classes -- pt. 3. Generalizations
Control code
EBC691797
Dimensions
unknown
Extent
xxi, 687 p.
Form of item
  • online
  • electronic
Other physical details
ill
Reproduction note
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries
Specific material designation
remote
System control number
  • (MiAaPQ)EBC691797
  • (Au-PeEL)EBL691797
  • (CaPaEBR)ebr10476490
  • (CaONFJC)MIL312720
  • (OCoLC)735593475

Library Locations

    • Copley LibraryBorrow it
      5998 Alcalá Park, San Diego, CA, 92110-2492, US
      32.771354 -117.193327
Processing Feedback ...