Items related to Branching Programs and Binary Decision Diagrams: Theory...
Branching Programs and Binary Decision Diagrams: Theory and Applications (Monographs on Discrete Mathematics and Applications, Series Number 4) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Book Description
This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. Efficient algorithms for operations on these representations are presented, and the limits of those techniques are considered.
From the Author
Theoretical computer scientists and mathematicians will learn about the applications of binary decision diagrams from this book. People who apply binary decision diagrams will learn about the theoretical background of this area.
"About this title" may belong to another edition of this title.
- PublisherSociety for Industrial and Applied Mathematics
- Publication date1987
- ISBN 10 0898714583
- ISBN 13 9780898714586
- BindingHardcover
- LanguageEnglish
- Number of pages418
Search results for Branching Programs and Binary Decision Diagrams: Theory...
Stock Image
SIAM Monographs on Discrete Mathematics and Applications: Branching Programs and Binary Decision Diagrams: Theory and Applications
Published by
Society For Industrial And Applied Mathematics, 2000
ISBN 10: 0898714583
ISBN 13: 9780898714586
Used
Hardcover
Seller: Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780898714586. Seller Inventory # 4920878
Quantity: 1 available
Seller Image
Branching Programs and Binary Decision Diagrams : Theory and Applications
Published by
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898714583
ISBN 13: 9780898714586
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 773689-n
Quantity: 3 available
Stock Image
Branching Programs and Binary Decision Diagrams Theory and Applications
Published by
Society for Industrial & Applied, 2000
ISBN 10: 0898714583
ISBN 13: 9780898714586
New
Hardcover
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 408 pages. 9.00x6.00x1.00 inches. In Stock. Seller Inventory # __0898714583
Quantity: 1 available
Stock Image
Branching Programs and Binary Decision Diagrams : Theory and Applications
Published by
Society for Industrial & Applied Mathematics,U.S., 1987
ISBN 10: 0898714583
ISBN 13: 9780898714586
Used
Hardcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 418 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 4007139/202
Quantity: 1 available
Seller Image
Branching Programs and Binary Decision Diagrams : Theory and Applications
Published by
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898714583
ISBN 13: 9780898714586
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 773689
Quantity: 3 available
Stock Image
Branching Programs and Binary Decision Diagrams - Theory and Applications
Published by
MP-SIA SIAM - Society for Industrial and Applied M, 2000
ISBN 10: 0898714583
ISBN 13: 9780898714586
New
Hardcover
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FW-9780898714586
Quantity: 1 available
Stock Image
Branching Programs and Binary Decision Diagrams
Published by
Society for Industrial & Applied Mathematics,U.S., 1987
ISBN 10: 0898714583
ISBN 13: 9780898714586
New
Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. This is the only book to investigate the representation size of Boolean functions and efficient algorithms on these representations. Series Editor(s): Hammer, Peter. Series: Monographs on Discrete Mathematics & Applications S. Num Pages: 418 pages, bibliography, index. BIC Classification: PBG; UYA. Category: (P) Professional & Vocational. Dimension: 233 x 161 x 29. Weight in Grams: 732. . 1987. Hardcover. . . . . Seller Inventory # V9780898714586
Quantity: 1 available
Seller Image
Wegener, I: Branching Programs and Binary Decision Diagrams
Published by
Society for Industrial & Applied Mathematics,U.S., 1987
ISBN 10: 0898714583
ISBN 13: 9780898714586
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. KlappentextThis is the only book to investigate the representation size of Boolean functions and efficient algorithms on these representations. Seller Inventory # 1652654296
Quantity: 1 available
Stock Image
Branching Programs and Binary Decision Diagrams
Published by
Society for Industrial & Applied Mathematics,U.S., 1987
ISBN 10: 0898714583
ISBN 13: 9780898714586
New
Hardcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is the only book to investigate the representation size of Boolean functions and efficient algorithms on these representations. Series Editor(s): Hammer, Peter. Series: Monographs on Discrete Mathematics & Applications S. Num Pages: 418 pages, bibliography, index. BIC Classification: PBG; UYA. Category: (P) Professional & Vocational. Dimension: 233 x 161 x 29. Weight in Grams: 732. . 1987. Hardcover. . . . . Books ship from the US and Ireland. Seller Inventory # V9780898714586
Quantity: 1 available
Stock Image
Branching Programs and Binary Decision Diagrams: Theory and Applications (Monographs on Discrete Mathematics and Applications, Series Number 4)
Published by
Society for Industrial and Applied Mathematics, 1987
ISBN 10: 0898714583
ISBN 13: 9780898714586
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780898714586_new
Quantity: 1 available