Branching Programs and Binary Decision Diagrams: Theory and Applications - Rilegato

Wegener, Ingo

 
9780898714586: Branching Programs and Binary Decision Diagrams: Theory and Applications
Rilegato
ISBN 10: 0898714583 ISBN 13: 9780898714586
Casa editrice: Society for Industrial and Applied Mathematics, 2000

Sinossi

This is the only book to investigate the representation size of Boolean functions and efficient algorithms on these representations.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

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.

Contenuti

Preface; Introduction; 1. Introduction; 2. BPs and Decision Trees (DTs); 3. Ordered Binary Decision Diagrams (OBDDs); 4. The OBDD Size of Selected Functions; 5. The Variable-Ordering Problem; 6. Free BDDs (FBDDs) and Read-Once BPs; 7. BDDs with Repeated Tests; 8. Decision Diagrams (DDs) Based on Other Decomposition Rules; 9. Integer-Valued DDs; 10. Nondeterministic DDs; 11. Randomized BDDs and Algorithms; 12. Summary of the Theoretical Results; 13. Applications in Verification and Model Checking; 14. Further CAD Applications; 15. Application in Optimization, Counting, and Genetic Programming; Bibliography; Index.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Society for Industrial and Applied Mathematics
Data di pubblicazione
2000
Lingua
Inglese
ISBN 10 
0898714583
ISBN 13 
9780898714586
Rilegatura
Copertina rigida
Numero di pagine
418
Contatto del produttore
non disponibile
Persona responsabile
non disponibile