Art

J-GLOBAL ID：201302234386290097   Reference number：13A1793868

Techniques of BDD/ZDD: Brief History and Recent Activity

BDD/ZDDの技術:簡単な歴史と最近の活動

Author (1)： MINATO Shin-ichi (Graduate School of Information Sci. and Technol., Hokkaido Univ.)
Material： IEICE Transactions on Information and Systems (Institute of Electronics, Information and Communication Engineers)  (IEICE Trans Inf Syst (Inst Electron Inf Commun Eng))
Volume： E96-D  Issue： 7  Page： 1419-1429 (J-STAGE)  Publication year： 2013 
JST Material Number： L1371A  ISSN： 0916-8532  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *binary decision diagram ,  structure ,  algebra ,  *behavior(manner) ,  *technical history ,  computer science ,  decomposition
Semi thesaurus term： *binary decision diagram ,  computer science ,  *research activities ,  discrete structure

JST classification (2)： Logic algebra  (JB03000H) ,  Basics of graph theory  (IA02020S)

Reference (50)：

• [1] R.E. Bryant, “Graph-based algorithms for Boolean function manipulation,” IEEE Trans. Comput., vol.C-35, no.8, pp.677-691, 1986.
• [2] S. Minato, “Zero-suppressed BDDs for set manipulation in combinatorial problems,” Proc. 30th ACM/IEEE Design Automation Conference (DAC'93), pp.272-277, 1993.
• [3] D.E. Knuth, The Art of Computer Programming: Bitwise Tricks & Techniques; Binary Decision Diagrams, Addison-Wesley, 2009.
• [4] E. Loekito, J. Bailey, and J. Pei, “A binary decision diagram based approach for mining frequent subsequences,” Knowledge and Information Systems, vol.24, no.2, pp.235-268, 2010.
• [5] S. Minato, “πDD: A new decision diagram for efficient problem solving in permutation space,” in Theory and Applications of Satisfiability Testing -SAT 2011, ed. K. Sakallah and L. Simon, Lecture Notes in Computer Science, vol.6695, pp.90-104, Springer Berlin Heidelberg, 2011.

Terms in the title (4)： BDD ,  ZDD ,  歴史 ,  活動