Borrow it
 African Studies Library
 Alumni Medical Library
 Astronomy Library
 Fineman and Pappas Law Libraries
 Frederick S. Pardee Management Library
 Howard Gotlieb Archival Research Center
 Mugar Memorial Library
 Music Library
 Pikering Educational Resources Library
 School of Theology Library
 Science & Engineering Library
 Stone Science Library
The Resource Branching programs and binary decision diagrams : theory and applications, Ingo Wegener, (electronic resource)
Branching programs and binary decision diagrams : theory and applications, Ingo Wegener, (electronic resource)
Resource Information
The item Branching programs and binary decision diagrams : theory and applications, Ingo Wegener, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Branching programs and binary decision diagrams : theory and applications, Ingo Wegener, (electronic resource) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
 Summary
 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, computeraided 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
 Language
 eng
 Extent
 1 electronic text (x, 408 p.)
 Contents

 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 variableordering problem
 6. Free BDDs (FBDDs) and readonce BPs
 7. BDDs with repeated tests
 8. Decision diagrams (DDs) based on other decomposition rules
 9. Integervalued 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
 Isbn
 9780898719789
 Label
 Branching programs and binary decision diagrams : theory and applications
 Title
 Branching programs and binary decision diagrams
 Title remainder
 theory and applications
 Statement of responsibility
 Ingo Wegener
 Language
 eng
 Summary
 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, computeraided 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
 Cataloging source
 CaBNvSL
 http://library.link/vocab/creatorName
 Wegener, Ingo
 Index
 index present
 LC call number
 QA274.76
 LC item number
 .W44 2000eb
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 http://library.link/vocab/relatedWorkOrContributorName

 Society for Industrial and Applied Mathematics
 Society for Industrial and Applied Mathematics
 Series statement
 SIAM monographs on discrete mathematics and applications
 Series volume
 4
 http://library.link/vocab/subjectName

 Branching processes
 Decision making
 Computational complexity
 Target audience
 adult
 Label
 Branching programs and binary decision diagrams : theory and applications, Ingo Wegener, (electronic resource)
 Bibliography note
 Includes bibliographical references (p. 379402) and index
 Color
 black and white
 Contents
 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 variableordering problem  6. Free BDDs (FBDDs) and readonce BPs  7. BDDs with repeated tests  8. Decision diagrams (DDs) based on other decomposition rules  9. Integervalued 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
 Dimensions
 unknown
 Extent
 1 electronic text (x, 408 p.)
 File format
 multiple file formats
 Form of item
 online
 Isbn
 9780898719789
 Other physical details
 ill., digital file.
 Reformatting quality
 access
 Specific material designation
 remote
 System control number

 (CaBNvSL)gtp00545523
 (SIAM)9780898719789
 Label
 Branching programs and binary decision diagrams : theory and applications, Ingo Wegener, (electronic resource)
 Bibliography note
 Includes bibliographical references (p. 379402) and index
 Color
 black and white
 Contents
 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 variableordering problem  6. Free BDDs (FBDDs) and readonce BPs  7. BDDs with repeated tests  8. Decision diagrams (DDs) based on other decomposition rules  9. Integervalued 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
 Dimensions
 unknown
 Extent
 1 electronic text (x, 408 p.)
 File format
 multiple file formats
 Form of item
 online
 Isbn
 9780898719789
 Other physical details
 ill., digital file.
 Reformatting quality
 access
 Specific material designation
 remote
 System control number

 (CaBNvSL)gtp00545523
 (SIAM)9780898719789
Library Locations

African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 71.108227


Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 71.105717

Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 71.107023

Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 71.099547

Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 71.108227


Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 71.108227

Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 71.101425

School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 71.107235

Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 71.102257

Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/Branchingprogramsandbinarydecisiondiagrams/SyTfYC1IiT4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Branchingprogramsandbinarydecisiondiagrams/SyTfYC1IiT4/">Branching programs and binary decision diagrams : theory and applications, Ingo Wegener, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Branching programs and binary decision diagrams : theory and applications, Ingo Wegener, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/portal/Branchingprogramsandbinarydecisiondiagrams/SyTfYC1IiT4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Branchingprogramsandbinarydecisiondiagrams/SyTfYC1IiT4/">Branching programs and binary decision diagrams : theory and applications, Ingo Wegener, (electronic resource)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>