Affiliation:
1. Graduate School of Information Science and Technology, Hokkaido University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference26 articles.
1. [1] R.E. Bryant, “Graph-based algorithms for Boolean function manipulation,” IEEE Transactions on Computers, vol.C-35, no.8, pp.677-691, 1986. 10.1109/tc.1986.1676819
2. [2] S. Minato, “Zero-suppressed BDDs for set manipulation in combinatorial problems,” Proc. of 30th ACM/IEEE Design Automation Conference (DAC'93), pp.272-277, 1993. 10.1145/157485.164890
3. [3] D.E. Knuth, The Art of Computer Programming: Bitwise Tricks & Techniques; Binary Decision Diagrams, Addison-Wesley, 2009.
4. [4] S. Minato, “Techniques of BDD/ZDD: Brief history and recent activity,” IEICE Transactions on Information and Systems, vol.E96-D, no.7, pp.1419-1429, 2013. 10.1587/transinf.e96.d.1419
5. [5] T. Inoue and et al., “Graphillion.” http://graphillion.org/, 2013.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. International Competition on Graph Counting Algorithms 2023;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2024-09-01
2. Extended Formulations via Decision Diagrams;Lecture Notes in Computer Science;2023-12-09
3. In-place initializable arrays;Theoretical Computer Science;2022-05
4. Phase diagrams of confined square lattice linked polygons;Physical Review E;2021-12-23