Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;B. Becker,2005
2. Lecture Notes in Computer Science;R. Berghammer,2005
3. Bryant, R.E.: Symbolic manipulation of Boolean functions using a graphical representation. In: DAC 1985, pp. 688–694. ACM Press, New York (1985)
4. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers 35, 677–691 (1986)
5. Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Heidelberg (1999)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献