Distributed binary decision diagrams
Thesis (MSc (Mathematical Sciences)--University of Stellenbosch, 2010. === ENGLISH ABSTRACT: Binary Decision Diagrams (BDDs) are data structures that have been used to solve various problems in different aspects of computer aided design and formal verification. The large memory and time requiremen...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
Stellenbosch : University of Stellenbosch
2010
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10019.1/5411 |