Non-Fiction Books:

Boolean Functions

Theory, Algorithms, and Applications
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!
$421.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks

Buy Now, Pay Later with:

4 payments of $105.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Description

Written by prominent experts in the field, this monograph provides the first comprehensive, 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. This framework looks at the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an in-depth 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 for the first time. Because of the depth and breadth 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.

Author Biography:

Yves Crama is Professor of Operations Research and Production Management, and Director General of the HEC Management School of the University of Liege. He is widely recognized as one of the most prominent experts in the field of Boolean Functions. Peter L. Hammer is a Professor of Operations Research, Mathematics, Computer Science, and of Management Science and Information Systems at Rutgers University, and the Director of Rutgers University Center for Operations Research (RUTCOR). He is the founder and Editor-in-Chief of the journals Discrete Mathematics, Discrete Applied Mathematics, Discrete Optimization, Electronic Notes in Discrete Mathematics, and Annals of Operations Research. He is the recipient of the 1999 Euler Medal, the highest level award of the Institute of Combinatorics and its Applications. Dr. Hammer is the initiator of studies in the use of Boolean functions in operations research and related areas, of the theory of pseudo-Boolean functions, and of the Logical Analysis of Data.
Release date Australia
May 16th, 2011
Audience
  • Postgraduate, Research & Scholarly
Illustrations
Worked examples or Exercises; 3 Halftones, unspecified; 95 Line drawings, unspecified
Pages
710
Dimensions
162x240x51
ISBN-13
9780521847513
Product ID
10411068

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

Filed under...