Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Borodin, A., Cook, S.: A time–space tradeoff for sorting on a general sequential model of computation. SIAM Journal on Computing 11, 287–297 (1982)
2. Hachtel, G., Somenzi, F.: Logic Synthesis and Verification Algorithms. Kluwer Academic Publishers, Boston (1996)
3. McMillan, K.: Symbolic Model Checking. Kluwer Academic Publishers, Boston (1994)
4. Wegener, I.: Branching Programs and Binary Decision Diagrams. SIAM, Philadelphia (2000)
5. Hachtel, G., Somenzi, F.: A symbolic algorithm for maximum flow in 0–1 networks. Formal Methods in System Design 10, 207–219 (1997)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献