Back to Search
Start Over
The multiple variable order problem for binary decision diagrams: theory and practical application.
- Source :
- Proceedings of the ASP-DAC 2001. Asia & South Pacific Design Automation Conference 2001 (Cat. No.01EX455); 2001, p85-90, 6p
- Publication Year :
- 2001
Details
- Language :
- English
- ISBNs :
- 9780780366336
- Database :
- Complementary Index
- Journal :
- Proceedings of the ASP-DAC 2001. Asia & South Pacific Design Automation Conference 2001 (Cat. No.01EX455)
- Publication Type :
- Conference
- Accession number :
- 81245060
- Full Text :
- https://doi.org/10.1109/ASPDAC.2001.913285