Branching Programs and Binary Decision Diagrams

Branching Programs and Binary Decision Diagrams
Author :
Publisher : SIAM
Total Pages : 411
Release :
ISBN-10 : 9780898714586
ISBN-13 : 0898714583
Rating : 4/5 (583 Downloads)

Book Synopsis Branching Programs and Binary Decision Diagrams by : Ingo Wegener

Download or read book Branching Programs and Binary Decision Diagrams written by Ingo Wegener and published by SIAM. This book was released on 2000-01-01 with total page 411 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Branching Programs and Binary Decision Diagrams Related Books

Branching Programs and Binary Decision Diagrams
Language: en
Pages: 411
Authors: Ingo Wegener
Categories: Mathematics
Type: BOOK - Published: 2000-01-01 - Publisher: SIAM

DOWNLOAD EBOOK

This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented f
Decision Diagrams for Optimization
Language: en
Pages: 262
Authors: David Bergman
Categories: Computers
Type: BOOK - Published: 2016-11-01 - Publisher: Springer

DOWNLOAD EBOOK

This book introduces a novel approach to discrete optimization, providing both theoretical insights and algorithmic developments that lead to improvements over
Theory and Applications of Models of Computation
Language: en
Pages: 610
Authors: Manindra Agrawal
Categories: Computers
Type: BOOK - Published: 2008-04-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Theory and Applications of Models of Computation, TAMC 2008, held in Xi'an
Mathematical Foundations of Computer Science 2001
Language: en
Pages: 735
Authors: Jiri Sgall
Categories: Computers
Type: BOOK - Published: 2003-08-06 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS 2001, held in Marianske
Logic Synthesis and Verification
Language: en
Pages: 458
Authors: Soha Hassoun
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and th