Hiding propositional constants in BDDs
- 1 January 1996
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 8 (1) , 91-96
- https://doi.org/10.1007/bf00121264
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The safety guaranteeing system at station Hoorn-KersenboogerdPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Representing circuits more efficiently in symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1991
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986