Reduction of OBDDs in linear time
- 1 November 1993
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 48 (3) , 139-144
- https://doi.org/10.1016/0020-0190(93)90256-9
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Efficient implementation of a BDD packagePublished by Association for Computing Machinery (ACM) ,1990
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Binary Decision DiagramsIEEE Transactions on Computers, 1978
- The circuit value problem is log space complete for PACM SIGACT News, 1975
- Representation of Switching Circuits by Binary-Decision ProgramsBell System Technical Journal, 1959