Author:
Jung Woo Sik,Han Sang Hoon,Ha Jaejoo
Subject
Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality
Reference19 articles.
1. Representation of switching circuits by binary-decision programs;Lee;Bell Syst Tech J,1959
2. Binary decision diagrams;Akers;IEEE Trans Comput,1978
3. Graph based algorithms for Boolean function manipulation;Bryant;IEEE Trans Comput,1986
4. Symbolic Boolean manipulation with ordered binary decision diagrams;Bryant;ACM Comput Surv,1992
5. Implicit and incremental computation of primes and essential primes of Boolean functions;Coudert,1992
Cited by
89 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献