Author:
Yoshinaka Ryo,Kawahara Jun,Denzumi Shuhei,Arimura Hiroki,Minato Shin-ichi
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference5 articles.
1. Graph-based algorithms for Boolean function manipulation;Bryant;IEEE Trans. Comput.,1986
2. The Art of Computer Programming, vol. 4, fasc. 1, Bitwise Tricks & Techniques; Binary Decision Diagrams;Knuth,2009
3. S. Minato, Zero-suppressed BDDs for set manipulation in combinatorial problems, in: Proc. of 30th ACM/IEEE Design Automation Conference (DACʼ93), 1993, pp. 272–277.
4. A symbolic analysis of relay and switching circuits;Shannon;Trans. AIEE,1938
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献