Efficient algorithms for the transformation between different types of binary decision diagrams.
Saved in:
| Title: | Efficient algorithms for the transformation between different types of binary decision diagrams. |
|---|---|
| Authors: | Savický, Petr, Wegener, Ingo |
| Source: | Acta Informatica; 1997, Vol. 34 Issue 4, p245, 12p |
| Database: | Applied Science & Technology Source |
| ISSN: | 00015903 |
|---|---|
| DOI: | 10.1007/s002360050083 |