Description: Branching Programs and Binary Decision Diagrams: Theory and Applications (Monographs on Discrete Mathematics and Applications, Series Number 4) Wegener, Ingo Product Overview Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. The representation size of important and selected functions is estimated, upper and lower bound techniques are studied, efficient algorithms for operations on these representations are presented, and the limits of those techniques are considered. This book is the first comprehensive description of theory and applications. Research areas like complexity theory, efficient algorithms, data structures, and discrete mathematics will benefit from the theory described in this book. The results described within have applications in verification, computer-aided design, model checking, and discrete mathematics. This is the only book to investigate the representation size of Boolean functions and efficient algorithms on these representations. Read more Details Publisher : Society for Industrial and Applied Mathematics (January 1, 1987) Language : English Hardcover : 418 pages ISBN-10 : 0898714583 ISBN-13 : 86 Item Weight : 1.65 pounds Dimensions : 6 x 1 x 9 inches Best Sellers Rank: #2,901,525 in Books (See Top 100 in Books) #555 in Discrete Mathematics (Books) #2,052 in Statistics (Books) #4,825 in Probability & Statistics (Books) #555 in Discrete Mathematics (Books) #2,052 in Statistics (Books) We have been selling used books since 2012, and we've learned that the most important thing is doing good business. Honesty is our policy. Free Shipping We ship worldwide. We have multiple warehouses around the world, so please note the extended handling time on certain listings.
Price: 204.42 USD
Location: Williamsburg, Virginia
End Time: 2025-01-08T22:11:29.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
ISBN: 0898714583
ISBN10: 0898714583
ISBN13: 9780898714586
EAN: 9780898714586
MPN: does not apply
Brand: NA
GTIN: 09780898714586
Number of Pages: 418 Pages
Publication Name: Branching Programs and Binary Decision Diagrams : Theory and Applications
Language: English
Publisher: Society for Industrial AND Applied Mathematics
Subject: Discrete Mathematics
Item Height: 1.1 in
Publication Year: 2000
Type: Textbook
Item Weight: 26.5 Oz
Subject Area: Mathematics
Author: Ingo WEGENER
Item Length: 9 in
Series: Siam Monographs on Discrete Mathematics and Applications Ser.
Item Width: 6 in
Format: Hardcover
