Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
16
views
0
references
Top references
cited by
24
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,760
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Branching Programs and Binary Decision Diagrams
monograph
Author(s):
Ingo Wegener
Publication date
(Online):
May 25 2012
Publisher:
Society for Industrial and Applied Mathematics
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Thermal Imaging in Social Decision Making
Author and book information
Book
ISBN (Print):
978-0-89871-458-6
ISBN (Electronic):
978-0-89871-978-9
Publication date (Print):
January 2000
Publication date (Online):
May 25 2012
DOI:
10.1137/1.9780898719789
SO-VID:
9287f80b-a64e-4e60-b581-2fcc00780989
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
1. Introduction
pp. 19
2. BPs and Decision Trees (DTs)
pp. 45
3. Ordered Binary Decision Diagrams (OBDDs)
pp. 69
4. The OBDD Size of Selected Functions
pp. 93
5. The Variable-Ordering Problem
pp. 129
6. Free BDDs (FBDDs) and Read-Once BPs
pp. 161
7. BDDs with Repeated Tests
pp. 195
8. Decision Diagrams (DDs) Based on Other Decomposition Rules
pp. 215
9. Integer-Valued DDs
pp. 237
10. Nondeterministic DDs
pp. 271
11. Randomized BDDs and Algorithms
pp. 303
12. Summary of the Theoretical Results
pp. 313
13. Applications in Verification and Model Checking
pp. 331
14. Further CAD Applications
pp. 357
15. Applications in Optimization, Counting, and Genetic Programming
Similar content
1,760
How to cost immunization programs: a practical guide on primary data collection and analysis
Authors:
S. RESCH
,
N. MENZIES
,
A. PORTNOY
…
ASCL1 and NEUROD1 Reveal Heterogeneity in Pulmonary Neuroendocrine Tumors and Regulate Distinct Genetic Programs
Authors:
Mark D. Borromeo
,
Trisha K. Savage
,
Rahul K. Kollipara
…
China’s Conversion of Cropland to Forest Program for Household Delivery of Ecosystem Services: How Important is a Local Implementation Regime to Survival Rate Outcomes?
Authors:
Michael T. Bennett
,
Chen Xie
,
Nicholas J. Hogarth
…
See all similar
Cited by
23
Relations Between Communication Complexity, Linear Arrangements, and Computational Complexity
Authors:
Jürgen Forster
,
Matthias Krause
,
Satyanarayana V. Lokam
…
Complexity of Quantum Uniform and Nonuniform Automata
Authors:
Farid Ablayev
,
Aida Gainutdinova
Very narrow quantum OBDDs and width hierarchies for classical OBDDs
Authors:
K. Khadiev
,
F. Ablayev
,
A. Yakaryılmaz
…
See all cited by